Translation of "Diamond-cutter" in German