( 2256 ) Otto Harting.