( Gibraltar den 6 Decembris.