Gibraltar den 20 Dee.