How to remove udo-doc-de from Debian 9 (Stretch)