[Achtung: Schreibweise von 1811] 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.