Quantas pessoas morreram no campo de extermínio?