kommer Gibraltars militära betydelse att derigenom försvagas och Frankrikes sjöstyrka att betydligt ökas.