second derivative corner filter looks good now.
Surprise was, that we better multiply ddx*ddy, instead of min().