Abkürzungen: fünfhundertzehn (Liste)