Erfolgt eine Umbennennung von Bade- zu Duschmantel?

Bislang sieht es nicht danach aus?! Am Badeweiher sowie -see auch nicht erforderlich.