Now it works again. I don't know what has changed. But I guess you can close the bug for the time being.
Sorry for the confusion. Josef. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
