( 4017 ) född Jernstedt.