name the theater production that used translation in national theatre?
(AND theater.theater_production (JOIN theater.theater_production.translation_used m.07lbfb))