Il mistero dell'Assunzione di Maria e la proclamazione del dogma da parte di Pio XII