Gritting the streets in 's-Hertogenbosch (Netherlands) [238]