Ausführlichere Namen im Inhaltsverzeichis

Alle Definitionen, Sätze, Beispiele, Korollare, Bemerkungen habe ausführliche Namen im Inhaltsverzeichnis