Definition:

gritters