en högtidlighet af mindre wanligt slag.