f. den 9 , med stor högtidlighet,