Deutscher Mühlentag an der Ostmühle in Gildehaus | 25. Mai