Braucht Hamburg ein neues Opernhaus? Und wenn ja: welches, wie und wo?