Machine tools, sharpening machines