Gibraltar den 10 Aug.