Gibraltar den 3 Dec.