Operahusets liela stora våning.