The umlaut

Peter Mulhausler was very concerned about the proper use of his umlaut. I haven't used an umlaut at all on his name in this blog. Sorry Peter. I'll try and find it and maybe go back and correct this one day.