Registre de correu electrònic: In memoriam David Martin (1929-2019)