stund , då Spanien och Portugal alliera sig , äro Gibraltars dagar såsom engelsk besittning räknade,