to abbreviate- shortening in writing and print or replacing with a sign
in Schrift und Druck abkürzen oder durch ein Zeichen ersetzen
