Hans Keilson in memoriam