Wasser im Keller, uralte Technik, marode Fundamente: Die Staatsoper Unter den Linden wird restauriert.