Gibraltar den 1 Dec.