I don't know, but I can narrow it down to just a few candidates: TB and GKar. Maybe it's some other little-known variant, but those are the two widely-available versions that use PAL DVB as a source.
I first got a copy of this sort of thing back in 2002, and it's not TB nor GKar, so other versions do exist.