Der Ort Heiligenbrunnmühle liegt in Büchlberg
Daten und Ortsbezeichnungen: © OpenStreetMap-Mitwirkende