Hamburgische Staatsoper.