Carl Richard Unger — Norwegian historian and philologist (1817-1897)