Jens
Knudsen
(
1792
–
1842
)