Pfingstmontag wäre wieder Deutscher Mühlentag gewesen. Doch der fällt dieses Jahr aus. Wir zeigen Ihnen trotzdem eine Mühle. Und zwar eine, die kaum einer kennt.