name the opera that was performed at the george gershwin theatre
(AND opera.opera_production (JOIN opera.opera_production.performed_at m.08kscc))