Total length of water pipelines from before 1910