How many Jews lived in Europe before the Holocaust?

On the eve of World War 2 there were an estimated 9.4-9.5 million Jews in Europe and after the war about 3.4 million.