( 3777 ) Otto Harting.