Dornin, Robert E. (1912-1982)