How to install developers-reference-de on Debian 9 (Stretch)