Delio Redi (1939–2017)