. . "Of the at least 1,015 deportees transported, 115 men were put to work and all the others, including women and little children, were gassed." . . .