Hohenleuben. Lochmühle in Hohenleuben war ein Besuchermagnet zum Deutschen Mühlentag.