avdxfext.avx

Hallo Forum,
weiß jemand, wo es die Extension avdxfext.avx gibt?

Dank und Gruß
gisi
Schönen Dank!
gisi