Hello Roberto, thanks for the reply. The problem is already aptitude update (or apt-get update). (Not aptitude upgrade) I have downloaded the debs directly from rdonald's page and installed them with dpkg. However, either due to some misconfiguration on http://people.debian.org/~rdonald or on my system the sources.list lines mentioned in the HOWTO and on http://people.debian.org/~rdonald do not work. Alexander