[702] Vorsumpf, die Vertiefung in einer bergmännischen Grube, worin sich das Wasser sammelt u. woraus es durch Röhren abgeleitet wird.
Adelung-1793: Vorsumpf, der