manöver tillämnades vid Gibraltar.