in wicked, which theater production used a translation?
(AND theater.theater_production (JOIN theater.theater_production.translation_used m.08c0d7k))