Gibraltar , den 20 November.