Were 6 million Jews killed in the Holocaust?