Remembering Tom Gehrels (1925–2011)