[the_hofers]

In der TVthek etwa ist doch der Media Player vorgegeben ("embedded"), oder? Rechtsklick ins Video und URL in den VLC pasten, schon spielt's der VLC ab (und kann's auch aufnehmen).