[399] Sumpf, ein Raum zur Wasseransammlung in den Grubenbauen (s. Wasserhebung und Schacht).
Adelung-1793: Sumpf, der
Meyers-1905: Sumpf
Pierer-1857: Sumpf · Laibacher Sumpf