engelske tjenstemän på Gibraltar , somföranledt