Farewell and thanks to jeremy Hartley