Integration with UK for Gibraltar in no treaty scenario