[345]Der Steinsinter, des -s, plur. von mehrern Arten ut nom. sing. in der Mineralogie, ein kalkartiger Stein, welcher aus herab tröpfelndem mit Kalkerde geschwängertem Wasser erzeuget wird; Stalactites, Sinter, Tropfstein.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 4. Leipzig 1801, S. 345.