en grufva eller annan fördjupning.