Ausführlichere Namen im Inhaltsverzeichis

Alle Definitionen, Sätze, Beispiele, Korollare, Bemerkungen habe ausführliche Namen in Minhaltsverzeichnis
Merge pull request #1 from gdbgauda/master

Merge von Gautam: Ausführlichere Namen im Inhaltsverzeichnis. Vielen Dank!