( 7933 ) A . Sterner.