( 1139 ) A . Jungmarker.