( 3145 ) Ingeborg Wallenius.