[1223] Der Brunnendêckel, des -s, plur. ut nom. sing. der Deckel auf dem obern Kranze eines Ziehbrunnens.