( 1235 ) A . Jungmarker.