Re: tetex und Debian