what theater does the production of hal luftig run out of?
(AND theater.theater (JOIN theater.theater.theatrical_productions_staged_here (JOIN (R theater.theater_producer.plays_produced) m.0k1j4k_)))