Helge Groth — Norwegian historian and diplomat (1913-1966)