Modules over Discrete Valuation Rings