SMS versenden: Formal groups and applications.