Der Königsgraben existierte an dieser Stelle nur zwischen 1777 und 1928 und wurde danach komplett zugeschüttet. Der heutige viel kleinere Graben heißt Okengraben.
(no comment)