Gibraltar , den 4 Oktober.