utspelats , innan fyra Engelsmän borlröfwades i Gibraltars omgifningar.