( 6628 ) Otto Butt.