Jakob Sverdrup — Norwegian historian (1919-1997)