zerlegte Umlaute (aus CVS-Zeiten) korrigiert, ein paar UTF8-Datei-Konvertierungen u. weitere Kleinigkeiten #11

Closed jonu closed 13 years ago