text: Die seit dem 14. Jahrhundert belegte Mühle wurde nach ihrer Lage oder ihren wechselnden Besitzern unterschiedlich genannt: Obere Mühle, Oberste Mühle, Stiftsmühle, Tomberger Mühle, Irnichs Möll oder Mühlenwerke Hufschlag.