TEI P4 dtd processor