Die Ursache für die Überschwemmung in der Deutschen Oper Berlin an Heiligabend ist geklärt: Personal der Reinigungsfirma habe ohne Absicht die Sprinkleranlage auf der Bühne in Gang gesetzt, teilte das Opernhaus am Freitag mit. Die Reparaturarbeiten bei laufendem Spielbetrieb würden voraussichtlich noch bis zur Sommerpause dauern. Die Polizei werde demnächst die Ermittlungen einstellen.