Abstract.
An equivalence is established between
the category of at most a-ramified finite separable extensions
of a complete discrete valuation field K and
the category of at most a-ramified finite extensions of
the ``length-a truncation" of the integer ring of K.