Translation of "Gauge cutter" in German