Hohensteinring auf der Stadtplan von Gießen