One last question: how do I permanently install the driver actually? In opposite to the README there's no make install. So I manually copied cinergyT2.ko to /lib/kernel/bla/whatever/media/dvb/frontends. Doesn't work...