Gravel pits and mineral mines