  We investigate regularity of CR-mappings between real-analytic infinite type
hypersurfaces in $\mathbb C^2$. We show that, under the Fuchsian type
condition, all (respectively formal or smooth) CR-diffeomorphisms between them
are automatically analytic. The Fuchsian condition appears to be in a certain
sense optimal for the regularity problem.
