Eindhoven: van wie is de stad?