Alte Mühle auf der Stadtplan von Ingolstadt