Ilm-Kreis. Senfmühle in Kleinhettstedt, Braunsteinmühle in Geraberg und Massemühle in Elgersburg öffnen zum Mühlentag und Tausende kommen.