visste icke , huruvida flottmanöver tillämnades vid Gibraltar.