over Den Norske Marinei officers-personale.