Vertiefung, entstanden durch den Einsturz alter Tiefbaugruben, die in geringer Teufe betrieben wurden.