prettier german letters

Hi,

please accept this patch which makes some of the german letters (umlauts and the sharp-s) a little bit more pretty.

Thanks 
   Roddi