Gemeente Eindhoven. Sector Grond & Vastgoed. Afdeling Bouw en Onderhoud