Heiligenbrunnmühle ist ein Gemeindeteil von Büchlberg im niederbayerischen Landkreis Passau.
Die Einöde hat insgesamt 12 Einwohner.Müllers Großes Deutsches Ortsbuch 2014: Vollständiges Ortslexikon. De Gruyter, 2014, ISBN 978-3-11-033731-0, S. 559.
Weblinks
Einzelnachweise
Kategorie:Geographie (Büchlberg) Kategorie:Einzelsiedlung im Landkreis Passau