"machining (operation)" Deutsche bedeutung