( 3452 ) Otto Hallin.