Hi all, I was about to file a bug report for (1) - it timed out quite a lot in the past, but now I could access it again. And the "other half of the German" had already worked a lot on it. Cheers, Martin1:) http://ddtp.debian.net/ddtss/index.cgi/de/forreview/texlive-latex-extra?1334750321