Unfolding of Double-Pushout Graph Grammars is a Coreflection