Text this: The effects of large-scale pumping and diversion on the water resources of Dane County, Wisconsin.