users in city of eindhoven