Gibraltar den 22 September 1888.