All procedures or plants and installations above or below ground for keeping water out of the mine workings, as well as for collecting, clarifying and carrying off incoming water.