afdelning marinsoldater visade den döde militären hedersbetygelse och stationsbefälhalvaren ( marinprefekten ) öfvervar högtidligheten.