Air quality measurements at different locations in Eindhoven, the Netherlands