Abkürzungsverzeichnis aktualisiert

Es sind mehr als 30 zusätzliche Einträge hinzugekommen und zahlreiche Fehler korrigiert worden.