OK, I understand it. Thanks a lot for your explanation, Christoph! BTW, I haven't received your first reply...
-- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org