har den 13 maj passerat Gibraltar.