K-theory of discrete valuation rings