[1398]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.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 4. Leipzig 1801, S. 1398.