Operahusets uppvärmning och luftvexling.