Unter dem Namen „Grießmühle“ stand am Ort der heutigen Reichensteinermühle bereits 1301 eine Mahlmühle. Nach einem Großbrand musste der Mühlenbetrieb 1958 eingestellt werden. Ein 1923 eröffneter Gastronomiebetrieb wurde bis 1980 weitergeführt.
Geplante Aktivitäten: Um 14.00 Uhr findet ein Kurzvortrag des Historikers Hartmut Benz, nebst einer sich anschließenden Wanderung – Zwischenstopp Walkweiher und Weiher an der Bockemsmühle – zur Altenhofermühle statt.
Geplante Aktivitäten: Um 14.00 Uhr findet ein Kurzvortrag des Historikers Hartmut Benz, nebst einer sich anschließenden Wanderung – Zwischenstopp Walkweiher und Weiher an der Bockemsmühle – zur Altenhofermühle statt.