4.2   Pope Pius XII and the Holocaust