' Gibraltar den 10.