— Gibraltar den 10 Juli.