"machining operation" Deutsche bedeutung