Addio a Nichi D'Amico, "padre" del Sardinia Radio Telescope