Translation of "Machine building" in German