( 1720 ) A . Jungmarker.