"machine shop" Deutsche bedeutung