Plays set in opera houses