Use real umlauts in comments

LaTeX can read UTF-8 nowadays.