Diverse Aktualisierungen

V.a. Umstellung auf neuen Exporter, AucTeX-Anpassungen für Ledmac