In memoriam: Aldo Ciccolini (1925–2015)