Gibraltar den 12 maj.