( 1238 ) A . Jungmarker.