[Achtung: Schreibweise von 1811] 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. Gefunden auf https://lexika.digitale-sammlungen.de/adelung/lemma/bsb00009131_4_0_130
[Achtung: Schreibweise von 1811] 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.