— Gibraltar den 4 Maj.