( 4235 ) C . O. F. Kruckenberg.