The Dutch term "gravel" matches the English term "gravel, grit"