( 4319 ) O. G . Pauli.