var den 20 maj på höjden of Gibraltar.