over den norske marinens officerspeisonale.