The class of Gorenstein injective modules is covering if and only if it is closed under direct limits | Synapse