om en flottmanöver tillämnades vid Gibraltar.