Gibraltar den 19 maj.