med mindre vanlig högtidlighet.