BETYDNING OG BRUK
militærvesen, om eldre forhold
direktør for marinens minevesen
; sjef for festningsartilleriets mineavdelinger