Approximation and convergence of formal CR-mappings

Let $M\subset C^N$ be a minimal real-analytic CR-submanifold and $M'\subset C^{N'}$ a real-algebraic subset through points $p\in M$ and $p'\in M'$. We show that that any formal (holomorphic) mapping $f\colon (C^N,p)\to (C^{N'},p')$, sending $M$ into $M'$, can be approximated up to any given order at $p$ by a convergent map sending $M$ into $M'$. If $M$ is furthermore generic, we also show that any such map $f$, that is not convergent, must send (in an appropriate sense) $M$ into the set $E'\subset M'$ of points of D'Angelo infinite type. Therefore, if $M'$ does not contain any nontrivial complex-analytic subvariety through $p'$, any formal map $f$ as above is necessarily convergent.