Badestein, der


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.


http://www.zeno.org/Adelung-1793. 1793–1801.