gudstjenstens slut , en i våra dagar sällsynt högtidlighet.