var f. d. kaptenen i norska marinen Petersen.