afkorten- in schrift en druk afkorten of door een teken vervangen
in Schrift und Druck abkürzen oder durch ein Zeichen ersetzen
