med stora militära högtidligheter.