Haidemühle im Kirnitzsch-Tal oberhalb von Bad Schandau / Sachsen

Wer kennt diese Mühle und kann nähere Angaben dazu liefern ?
Heute ist das Gebäude dem Verfall überlassen, ein Schild zeigt das hier zuletzt ein Restaurant war, wahrscheinlich vor der "Wende".
Von der Lage her muss es sich ursprünglich um eine Säge- bzw. Papiermühle gehandelt haben.
Also, kann MyHeimat weitere Informationen zu dieser Mühle liefern ?
Ich würde mich freuen...