( 6031 ) Elof Lindgren.