Francis Bull — Norwegian historian (1887–1974)