Stav dette: Modules over valuation domains