Vielen Dank für Ihren Hinweis. Er wurde an die mit der Wartung beauftragten Firma E.DIS weitergeleitet. Diese teilt mit: Die Leuchte wurde repariert.