Set the correct coding in the settings file

Since we now have an Umlaut in the settings