Is every locally presentable abelian category with enough injective objects a Grothendieck category? https://mathoverflow.net/questions/289418/locally-presentable-abelian-categories-with-enough-injective-objects