Pumpenschraper
[693] Pumpenschraper, eine runde eiserne Platte, welche in ihrer Mitte an einer 15–16 Fuß langen Stange befestigt ist. Man bringt sie in die Pumpenröhre, um dieselbe von Unreinigkeiten zu reinigen, welche das Spiel des Pumpenschuhes hindern.