I think that the drivers are not bda, have to check that.
At least in the technisat's pages there are no clues are they are BDA-enabled drivers. I think they more or less have their own driver, no Microsoft specific BDA stuff there.
[TechniSat DVB-PC TV Star PCI (BDA)]
TUNING_TYPE=ATSC
FILTER_TUNER=TechniSat BDA Digital Tuner
FILTER_CAPTURE=TechniSat BDA Digital Capture
PIN_TUNER_IN=Input0
PIN_TUNER_OUT=MPEG2 Transport
PIN_CAPTURE_IN=MPEG2 Transport
PIN_CAPTURE_OUT=MPEG2 Transport
I can get channels on Live TV, but video is a bit choppy and sound is almost non-existent (although it comes in every couple of seconds).
When I record, I get a 0 byte mpg file.
I don't care about Live TV not working correctly, but I was hoping to use the record function.