med stor militärisk högtidlighet.