Hamburg bekommt eine neue Oper am Hafen geschenkt. Doch wie steht es um das derzeitige Opernhaus an der Dammtorstraße?