" 

 == Upper Harz Ditches == 

 Would ""leat"" be a more accurate name for these ditches in the Upper Harz mining area? One dictionary also translates the original word ""Graben"" as ""loading ditch"" in a mining context.   "