A7-Format für Definitionen