[614] Bergwerksteich, bei Bergwerken, die durch Maschinen getrieben werden, ein Schutzteich, in welchem Wasser für eintretenden Wassermangel aufbewahrt wird.