How many Jews were not killed in the Holocaust