Verwende Defn statt Definition für Definitionen, an Funny-Zusammenfassung weitergearbeitet
Verwende definition-Umgebung statt defn-Umgebung