Haakman, Anton (Antonius Jozef Maria), 1933-