Mass distribution of 235U(nth, f) fission products as a function of their kinetic energy