As a fun comparison, because I saw the population is more or less the same.

The GDP of the Netherlands is about $1.2 trillion with a population of 18 million people.

I understand that that’s not quite what’s meant with ‘small country’ but in both population and size it doesn’t necessarily seem accurate.