över den norske marines officiers-personale.