Jungfru Marias Himmelsfärds stora högtid.