what opera house is the barber of seville produced at?
(AND opera.opera_house (JOIN opera.opera_house.productions m.0zfvn8s))