Gibraltar den 4 Aug.