Gerinnstein, der

Der Gerinnstein, des -es, plur. von mehrern Arten oder Quantitäten, die -e, eben daselbst, die beste Art des Zinnsteines, weil er sich im Pochen an das Gerinne ansetzet; zum Unterschiede von dem Fasenwerke oder Pochmehle, und Sumpfwerke oder Schlamme.