Vielen Dank für Ihren Hinweis. Wir haben den zuständigen Elektriker informiert. Er wird die Beleuchtung schnellstmöglich nach Priorität und im Rahmen seiner Aufgabenvielfalt reparieren.

Antwort:
Das Leuchtmittel wurde gewechselt, jetzt sollte alles wieder funktionieren.