var den 17 maj pä höjden af Gibraltar.