Hochfest der Aufnahme Mariens in den Himmel, Mariä Himmelfahrt: Festgottesdienst