Translation of "Ausführungsprotokoll" in English