auflassen

aufgeben, stilllegen, z. B. eine Grube .