Gravar-mail: A tribute to Lars Hennig (1970–2018)