"to abbreviate" Deutsche bedeutung