Es gibt in Deutschland mehrere Orte mit dem Namen Steinmühle:
Meinten sie vielleicht
94124 Steinmühle Ortsteil von Büchlberg (Bayern),
95503 Steinmühle Ortsteil von Hummeltal (Bayern),
97348 Steinmühle Ortsteil von Markt Einersheim (Bayern),
91790 Steinmühle Ortsteil von Nennslingen (Bayern),
97516 Steinmühle Ortsteil von Oberschwarzach (Bayern),
92526 Steinmühle Ortsteil von Oberviechtach (Bayern),
92331 Steinmühle Ortsteil von Parsberg (Bayern),
94267 Steinmühle Ortsteil von Prackenbach (Bayern),
92444 Steinmühle Ortsteil von Rötz (Bayern),
63860 Steinmühle Ortsteil von Rothenbuch (Bayern),
91629 Steinmühle Ortsteil von Weihenzell (Bayern)?