( 1 . norsk marinkapteuPetersen