Mario Garbi (1930–2018)