Peter Andreas Munch — Norwegian historian (1810-1863)