ANTI-DIEFSTAL 1460/85 TEXKF MINI