kommendörkaptenen i norska marinen,