Resolution of unbounded complexes in Grothendieck categories

As Spaltenstein showed, the category of unbounded complexes of sheaves on a topological space has enough K-injective complexes. We extend this result to the category of unbounded complexes of an arbitrary Grothendieck category. This is important for a construction, by the author, of a triangulated category of equivariant motives.