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