hade flyktal till Gibraltar.