de - export.dtd