[691]Der Badestein, des -es, plur. inusit. ein Tropfstein oder Tof, der sich in den warmen Bädern anzulegen pfleget; der Badesinter, Badetof, im Carls-Bade der Sprudelstein, Prudelstein.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 1. Leipzig 1793, S. 691.