TEI import works in TXM