Thank you for the hint. Installing the S3TC lib worked for me. With the open-source drivers. :)For the gentoo users, it is called media-libs/libtxc_dxtn there.
I get the same error messages and a segmentation fault afterwards. I have a radeon HD4850, which is no longer supported by the proprietary drivers.Is there a way to run the game with the open-source drivers?