Diese Dateien gehören zum Projekt PaGAL, einem System zur
Abkürzungsverwaltung in einer Lexikon-Redaktion.  Näheres
vgl. Abschlussbericht.htm.  Ein Archiv mit allen zugehörigen
Dateien ist unter PaGAL.tar.gz verfügbar.