Anton Johan Gerard Haentjens Dekker (1903-1972)/info