Inside the Staatsoper (Opera House).