den Norske Marinens officers-personale.