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