Gibraltar den 20 Aug.