- Rindenstein, der
Der Rindenstein, des -es, plur. die -e, derjenige Tropfstein, welcher andere Körper mit einer festen Steinrinde überziehet, Stalactites incrustans; zum Unterschiede von andern Arten des Tropfsteines, obgleich dieser Unterschied bloß auf sehr zufälligen Umständen beruhet.
http://www.zeno.org/Adelung-1793. 1793–1801.