Kompiliererprotokoll (Nomen)