Das ist ein amtlich benannter Ortsteil.

https://www.bayernportal.de/dokumente/behoerde/39887093387/ortsteile

...ist genauso ein Ortsteil wie das benachbarte SCHLEHENMUEHLE.
Plan hin, oder her.
MWE69a
