som efterträdt civilisten Jansen är gammal marinofficer och har sedan 1883 gjort tjenst som generalsekreterare för marinen ; han åtnjuter synnerligen stort anseendeinom