( 9000 ) Helge Ehrenborg,