Kleinigkeiten: itemize, W'Raum, W'Ma\ss, Indikatorfunktion
Kleinigkeiten Teil 2: ZV, ZVen, Beweisnamen
Einheitliche emacs Einrueckung