fälttjonstöfning i trakten af Gibraltar '.