Gibraltar den 2 Aug.