which opera is performed at the venue of covent garden opera house?
(AND opera.opera_production (JOIN opera.opera_production.performed_at m.01pky_))