minor edits UTF-8 umlaut