In memoriam: Frans van den Hoogen