SMS versenden: List decoding of error-correcting codes