fixed utf-8 encodings of german "umlaute"
Authored by: grether 2009-06-25
Parent: [r7520]
Child: [r7522]