Stav dette: Modules over discrete valuation domains