According to the ever accurate wikipedia Eindhoven has a population of some 214,000. On Sunday’s the population of Eindhoven is