Changed missing "ß" to HTML notation as well