Renamed "konig" to "koenig", using the more traditional translation of the German o-with-umlaut.