 "The man in the gas mask" is the movies cinematographer,  Ion Zubizarreta (qv). The full scene, shot while the crew were  experimenting with variations to the original story was subsequently  cut, but they left a short fragment in the end credits sequence.