@ volkimal [#2455]

Hallo Volkmar,

herzlichen Dank. Prima wie Du das recherchiert hast. Da wäre ich nie drauf gekommen. Ich wäre beim "K" hängen geblieben, was keinen Sinn ergab.

Es muss tatsächlich "Herrnmühle" heißen und handelt sich höchstwahrscheinlich um einen Gasthof. Zumindest wird hier auch heute noch eine Gaststätte geführt.

Gruß Detlef