Wateroppervlakte (km2) van gemeente Eindhoven vergeleken met heel Nederland