"machinist" Deutsche bedeutung