Edvard Bull jr. — Norwegian history professor (1914-1986)