sorry, das ging aus meinen Quellen nicht hervor, das die gesamte Siedlung nach der Mühle bezeichnet wird.

In Sachen "Kommentar" werde ich noch detaillierter werden, hoffe, dass es mir bei der Frelenberger Mühle gelungen ist (da fehlten nämlich noch die Einträge).