Henk van Gemert (Dutch, 1913-2002)