Das Renneisen
, [
1085-1086] des -s, plur. ut nom. sing. im
Bergbaue, 1) eine Katze mit einem langen Stiele, den Ofen damit von den
Ofenbrüchen zu reinigen; wo es für Reineisen zu stehen scheinet, oder vielmehr
das Intensivum von dem veralteten reinen, für reinigen, ist. 2) Eben daselbst
wird auch eine Art gereinigten Eisens, welches mit hölzernen Hämmern so lange
geschlagen worden, bis es völlig rein ist, collective Renneisen genannt, da es
denn keinen Plural hat.
