Diskussion:Channels.conf DVBT-DE-Bayern-München