en procession , högtidligt bärandehelgonets