Leichte formale Überarbeitung nach der Abgabe.

- Kategorisierung von Glossareinträgen
- Textsatz-Fehler korrigiert
- Referenzen korrigiert
- Workaround für Leerzeichen in Glossarbegriffen