At that time I had set it up as Friedrichsbrunnen, because that is how it is or was marked on the topography map by the state surveying office.
Friedrichsbrunnen is also on old maps from the 19th century.
Meanwhile, the Friedrichsbrunnen is no longer marked.
I don't know why it says Dornheimsbrunnen on the version.
does anyone know