Gibraltar den 17 Dec.