Translation of "Machinetool" in German