new orthography

Adjustments according to the new German orthography.