påstås vara kommen till Gibraltar.