( 1872 ) A . Jungmarker.