[32]Der Seifener, oder Seifner, des -s, plur. ut nom. sing. im Bergbaue, Arbeiter, welche die Erzkörner aus dem Schlamme der Flüsse seifen, und auch Seifer, Wäscher, Erzwäscher genannt werden.
Quelle:
Adelung, Grammatisch-kritisches Wörterbuch der Hochdeutschen Mundart, Band 4. Leipzig 1801, S. 32.