Jensen, Jens Iver, "Biographical sketch of the life of Jens Iver Jensen," 7.