öfver norska marinens officerspersonal.