Anton Johan Gerard HAENTJENS DEKKER 1903-1972