can you tell me the opera house that produced the pirates of penzance?
(AND opera.opera_house (JOIN opera.opera_house.productions m.0kdd12q))