How to install udo-doc-de on Debian 9 (Stretch)