no video for dvb-c hdtv channels

Hi!

Trying to watch HDTV channels via DVB-C (using a card with Philips
TDA10023 DVB-C) with mplayer compiled from recent SVN, I get only
sound, no video:

MPlayer SVN-r30524-4.4.2 (C) 2000-2010 MPlayer Team

Playing dvb://Das Erste HD.
dvb_tune Freq: 362000000
TS file format detected.
NO VIDEO! AUDIO MPA(pid=6020) NO SUBS (yet)!  PROGRAM N. 0
==========================================================================
Opening audio decoder: [mp3lib] MPEG layer-2, layer-3
AUDIO: 48000 Hz, 2 ch, s16le, 256.0 kbit/16.67% (ratio: 32000->192000)
Selected audio codec: [mp3] afm: mp3lib (mp3lib MPEG layer-2, layer-3)
==========================================================================
AO: [pulse] 48000Hz 2ch s16le (2 bytes per sample)
Video: no video
Starting playback...

Watching SD channels from the same channels.conf does work without problems.

Any hints how to debug that and get HD video working?

- Thomas