"error-correcting code" Deutsche bedeutung