finished extract DTD of xmark