Locally finitely presented Grothendieck categories and the pure semisimplicity conjecture