Herrenmühle
Herrenmühle
vgl.
Herrschaftsmühle
-
die vier mühlen in der stadt, als pfeils-, herren-, mönch- und pfistermühle1689 NArchHeidelb. 1 (1890) 51
- Schnetz,FlNk. 80