Gibraltar den 5 Dec.