NavList thread: In memoriam: Herman Dekker