Hans Peter Jenssen ( 1842 ).