Translation of "Pattern cutter" in German