Ed de Kruijf vs Herman van Tol