The Dutch term "groef" matches the English term "pit, hole, ditch"