Wörterbuch der Abkürzungen.