The Dutch term "groeve" matches the English term "hole, grave, pit, ditch, tomb"