verlegen: verlassen. Aufgeben (im Sinne verlassener Gruben); verlegene -> Gruben fielen "ins Freie" und konnten neu -> verliehen werden.