Gibraltar den 3 Nov.