vidare berörda gräns rakt utdragen till Gibraltars östra gräns,