Alter Graben auf der Stadtplan von Karlsruhe