( 1772 ) A . Jungmarker.