Rational points in henselian discrete valuation rings