kl. 9 ; men högtiden war ej dersöre slutad.