toner den högtidliga processionen med konungen i krona , spira och mantel,