Translation of "Maschinenbuch" in English