Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Thank you for the hints and yes Youngsu, that is what I wanted to ask. Also it is known that under the assumptions above, $D$ is analytically irreducible if and only if $D$ is unibranched and $D'$ is finitely generated as $D$-module if and only if $D$ is unibranched and the $\mathfrak{m}'$-adic topologyon $D'$ induces the $\mathfrak{m}$-adic topology (where $\mathfrak{m}'$ is the maximal ideal of $D'$)