Bin da vor einigen Wochen mal vorbei geradelt, habe aber leider nicht drauf geachtet. Ich habe ein Foto, auf dem man die Mühle sehen müsste, wenn sie noch da wäre. Auf neueren Luftbildern sieht man da ja auch nichts mehr. Habe es entsprechend geändert:
https://www.openstreetmap.org/changeset/160667584