Translation of "Spitzendrehmaschine" in English