Auf Commons und in verschiedenen Internetquellen wird die Mühle "Brunshöverner Mühle" genannt. Diese Bezeichnung wird im Artikel bisher aber nicht mal erwähnt. -- <span style="color: DodgerBlue">T<small>ETRIS </small>L</span> 10:07, 3. Jul. 2013 (CEST)