( 1237 ) A . Jungmarker.