Quantos judeus sobreviveram ao Holocausto?