Am Mühlenteich auf der Stadtplan von Aachen