( 3800 ) Otto Harting.