Translation of "Abbreviation" in German