Obituary: Prof. Federico Piccoli, MD, 1939–2019