porten daterad Gibraltar den 6 November)