oktober på eftermiddagen för att begifva sig till Gibraltar.