"machining" Deutsche bedeutung