Meines Wissens liegt Giehlermühlen nicht hier, sondern dort, wo der Giehler Bach die B 74 kreuzt. Weiß jemand, wie diese Siedlung stattdessen heißt, oder ob sie zu Wallhöfen, Bornreihe oder Friedensheim gehört?