Vielen Dank für Ihren Hinweis. Er wurde an die mit der Wartung beauftragten Firma E.DIS weitergleitet. Diese teilt mit: Wir haben heute in der Leuchte ein neues Vorschaltgerät eingebaut und noch einmal das Leuchtmittel gewechselt. Sie sollte damit wieder funktionieren.