which opera production was performed at the mittelsächsisches theater?
(AND opera.opera_production (JOIN opera.opera_production.performed_at m.0kc_c74))