Stav dette: Colin P. Groves (1942-2017) and his legacy