— Gibraltar den 2 Juli.