Diskussion:Badesee Walldorf

Badesee oder Badestelle?

Seit 2019 wird die Bademöglichkeit am Badesee Walldorf nicht mehr Badesee, sondern "Badestelle Walldorf" genannt. Hintergrund sind Haftungsfragen (siehe Referenz im Artikel). Für dieses Lemma stellt sich die Frage, ob man dieser Änderung folgt, oder bei "Badesee Walldorf" bleibt. Da die Bademöglichkeit unverändert gegeben ist (ab 2019 wird sogar kein Eintritt mehr verlangt), und der See auch zu anderen Zwecken (Fischen) genutzt wird, ist davon auszugehen, dass der See nach wie vor als Badesee Walldorf bezeichnet wird (z.B. in Karten, aber auch umgangssprachlich), und die Umbenennung sich lediglich auf die Bademöglichkeit bezieht. Deshalb wird von einer Umbenennung des Lemmas abgesehen. --Bicycle Tourer (Diskussion) 15:25, 14. Apr. 2019 (CEST)