Bergwerk auf der Stadtplan von Gießen