Restoration of coastal dunes after beach mining.