Translation of "Maschinenprotokoll" in English