"form cutter (for tube sheets)" Deutsche bedeutung