Fußnote

b Die Gegend dort wurde damals „Oberland“ genannt. Daher gab man dem Kanal diesen Namen.