which theater production is produced by ennio marchetto?
(AND theater.theater_production (JOIN theater.theater_production.producer m.0262jrg))