Hallo,
also die Endung avz ist mir gänzlich unbekannt.
Um aus einer txt-Datei eine dat-datei zu machen mußt Du wissen wie diese genau aussieht, das könnte vielleicht klappen. Frag den Hersteller, vielleicht hat der ja auch ein Übersetzungsprogramm,
Klaus