passerat Gibraltar den 12 dennes.