Strictly henselian discrete valuation ring