We moeten nog een ander cijfer meerekenen, dat van de binnenlandse migratie. Er gingen meer mensen weg uit Eindhoven náár een andere gemeente in Nederland dan dat er vanuit een Nederlandse gemeente naar onze stad kwamen. 360, om precies te zijn. En zo kom je op een bevolkingsgroei in …