Vielen Dank für Ihren Hinweis. Er wurde an die mit der Wartung beauftragten Firma E.DIS weitergleitet. Die E.DIS teilt mit: Die Leuchte funktioniert wieder.