. "Pio XII, papa" . .