( 5211 ) O. G . Pauli.