Jens Braage Halvorsen — Norwegian historian (1845-1900)