Für eine Mühle dort gibt es weiter keinen Beleg.
Dachte ich mir schon. Vermutlich ist der Name oder eine frühere Form dieses Namens dort auch älter als die Existenz gewerblicher, größerer Mühlen.
Der PGR hats sicher schon vermutet, Hintergrund meiner Frage ist der Umstand, das Orte mit dem Begriff Mühle im Namen, wie Mühldorf, Mühlhausen, Mühlberg etc. nicht zwingend mit dem Vorhandensein einer Mühle in Verbindung stehen müssen, bzw. eine solche Verbindung wenn überhaupt vorhanden, nur zufällig ist, weil es schon mal vorkommen kann, daß in der Nähe eines "Mühlortes" auch eine Mühle liegt.
Das liegt an der neuzeitlichen Besetzung des Begriffs Mühle bzw. des Verbs mahlen. Wir verstehen unter mahlen das Zerreiben von Dingen wie z.B. Getreidekörner und deshalb unter Mühle eben auch den Ort bzw. das technische Gebilde/Gerät, welches eben dieses Mahlen bewerkstelligt und das "gemahlene" Produkt hervorbringt. In früheren Zeiten bedeutete mahlen aber lediglich "drehen um ein Zentrum" (so wie es Mühlsteine ja auch tun) und die Mühle ist dabei das Zentrum. Im weiteren Sinne steht es auch für kreuzen (zwei Achsen treffen sich in einem Zentrum). Diese Wortbedeutung finden wir z.B. in dem Begriff Vermählen. Aber auch im mathematischen Malnehmen, also Multiplizieren finden wir diesen Begriff mit dieser Bedeutung entfernt wieder.
Für Ortsbezeichnungen kann das ganz profan bedeuten, daß sich an diesem Ort möglicherweise zwei oder mehrere (wichtige) Wege kreuzten, zu Zeiten der Megalithiker kann diesem Begriff aber auch vermutlich eine astronomische Bedeutung zugesprochen werden. Wenn ich das recht in Erinnerung habe, sind die Drei Gleichen schon in deutlich vorchristlicher Zeit Orte mit großer Bedeutung gewesen, so wird die Mühlburg wohl erstmalig mit der Jahresangabe 319! in einer Mönchschronik genannt. Und ich behaupte mal, daß um 319 noch nirgends eine größere Mühle stand, nach der man einen Ort bezeichnet hätte. Mehl wurde da noch in heimischer Handarbeit gemahlen.
Ich glaube es lohnt sich, sich mal näher mit den Drei Gleichen zu beschäftigen. Professor-