Anton Hartman (1918-1982)