IPTV playlists — Mitteldeutscher Rundfunk (MDR)