How many Jews were liberated at the end of the war?