  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" $\OK/\mK^a$ of the integer ring of $K$.
