den stora procession , hvarmed högtidligheterna slutades.