Paul Harry Mortensen (1926-1984