en icke alldaglig högtidlighet.