( 3153 ) bos Otto Harting.