Tommy Devito 1928-2020