Den ordinarie marinbudgeten antogs af stortinget i går i enlighet med förslaget ,endast