municipal theatre of santiago is known for what opera?
(AND opera.opera_production (JOIN opera.opera_production.performed_at m.076vvs5))