In Memoriam: Henk van Hemmen (1932 - 2010)