högtidlig procession till Holywood , der begrafningen förrättades.