Deckeleisen, das

Das Dêckeleisen, des -s, plur. ut nom. sing. bey den Büchsenmachern, ein eiserner Arm, den Pfannendeckel, wenn er abgefeilet werden soll, daran zu befestigen.