Ok, der Fehler ist lokalisiert.
Wir haben vor einiger Zeit mal das default-Theme in ein eigenes geclont, um damit in der Oberfläche eigene grafische Logos nutzen zu können. Jetzt hat sich im Theme offenbar das Javascript geändert, denn im Default Theme funktioniert es wieder. Reddot habe ich noch nicht ausprobiert. Da werden wir das Theme wohl erneut clonen müssen.
Gruß,
Frank