Tekstiviesti: Modules over valuation domains