( 4231 ) I P . Gedeborg,