thanks for the help. The Problem was in fact that the .gz ending of the files in question was superfluous, they were not packed. --gerhard