How many Jews would there be if not for the Holoca