har den 15 maj passerat Gibraltar.