samma dag war äfwen Jungfru Mariaö himmelSfärdS stora högtid.