Gibraltar den 9 Decbr.