[784] Deckelstück (Bergb.), Stücken Holz, welche auf Wasserstellen, Dohlen u. andere in die Erde gemachte Vertiefungen gelegt werden, damit Niemand hineinfalle u. keine Erde nachstürze.