Badestein, der

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.