, . . Giovanni Piero Magrini (obituary). IHR 2018.