Wasser im Bergbau, das aus einem Stollen oder Schacht gepumpt werden muss, um den Arbeitsbereich trocken zu halten.