czubi
Jetzt sind Fische drin, ab jetzt heißt er Angelteich ;-)
Nee, mal im Ernst, ich glabe schon das der lokal gebräuchliche Name Badeteich ist aber eben nur der lokale. In 10 Jahren heißt er dann Angelteich. Für sowas gibts ja auch loc_name=*. Der offizielle Name ist durch mehrere Quellen belegt z.B. 
https://onmaps.de/st/
http://www.geoproxy.geoportal-th.de
google
usw. 
Selbst im wiki über Gehren https://de.wikipedia.org/wiki/Gehren
steht Heideteich.
Ich schlage also vor name=Heideteich und loc_name="was immer du willst".
