Given this paragraph about video games in the Netherlands, how many people work in the games industry?

4,000