"== Merge proposal ==

I would support a merge, but the current suggestion has Mergefrom ""Grosser . . . "" Mergeto ""Großer . . ."". Perhaps this should be the other way round. Although possibly disputed, Wikipedia:Naming conventions (standard letters with diacritics) appear to recommend not using ""ß"": 
""For special-case characters such as þ, ð and ß, because of the limited geographic regions in which these letters are used, English-speakers in other parts of the world (especially those for whom English is a second language) often find these symbols incomprehensible and unpronounceable. Difficulties also arise in terms of how to alphabetize them, since most English speakers, even those for whom English is their native language, do not know where to place them in a standard alphabet. As a result, this guideline recommends that their use be avoided in article titles.""
I presume the Swiss would also use the ""ss"" spelling.  "