Antoniusberg auf der Stadtplan von Aachen