Peter de Vries (1910-1993).