okay danke, brauchs so wenig, dass ich mich auch beim nächten Mal wieder mit Copy & Paste behelfen muss, kann ich mir einfacher merken als ß (Alt-225)
Zudem scheint die Regel sehr interpretativ zu sein, man findet dasselbe Wort meist genauso oft mit ss wie mit ß ...