SMS versenden: Modules over valuation domains