Ik dacht, de website van de Vereniging van Nederlandse Gemeentes (www.vng.nl) heeft vast wel een antwoord op de vraag hoeveel inwoners Eindhoven heeft. I was wrong!