har den 9 maj passerat Gibraltar.