( 1873 ) A . Jungmarker.