Raised submodule pointer
raised submodule pointer
Stylesheet now woks with GATE TEI
removed unused whitespace
raised submodule pointer
Funktion to resolve document identifier to document name