domkyrkan med mer än vanlig högtidlighet.