Richard Grove — historian (1955–2020)