Actually it was caused by some stray newlines in my functions.php. Now it works (but it would be cool to have the miniatures recreated after cropping).
Crop button appears disabled to me. I have tried disabling all plugins and crop button is still disabled (greyed-out). As others I used scissors before and all operations worked like a charm with it.
