Gibraltar den 7 Aug.