högtiden hos katolikerne egentligen Jungfru Marie renselsefest.