[1136] Das Ritzeisen, des -s, plur. ut nom. sing. im Bergbaue, ein Eisen, womit die Ritze in das Gestein geschlagen werden.
Pierer-1857: Ritzeisen