Removed umlaute in identifiers

Umlaute in variable identifiers generally call for trouble ;) I already
had an encoding problem with those in my eclipse.