var Jungfru Marias himmelsfärdsdag.