Nederlands verkorten Frans raccourcir Duits abkürzen Engels to shorten