- Waschstein, der
Der Waschstein, des -es, plur. die -e, Eisensteine, welche auf oder nahe unter der Dammerde gefunden werden, und ehe man sie schmelzen kann, gepocht und gewaschen werden, Rasensteine. Sie geben das so genannte Wascheisen.
http://www.zeno.org/Adelung-1793. 1793–1801.