— Hr Borie , marinministern,