6.5 million inhabitants, annual GDP equivalent 75 billion USD.

You're talking about peanuts that won't change the overall picture.
I was talking about the medium term and stand by my somewhat educated guess.