@mdosch@mdosch.de: Yes. I first thought gopher would be a good protocol for this purpose. But HTTP has the advantage, that you don’t always need to fetch the whole file. You can do a HEAD and check for last-modified header.