Zitat von hurda. . . (siehe auch https://bugzilla.mozilla.org/show_bug.cgi?id=501496#c95 )
Vielen Dank für den Tipp! Seit der Fixierung des Bugs werden u. a. die deutschen Umlaute blockiert.
Alles andere funktioniert wieder (Überraschung: sogar das Eszett!). Ich hatte das Progrämmchen seit drei Jahren nicht mehr angerührt, ich musste mich erst wieder einlesen. Außerdem bin ich kein professioneller Programmierer.