one of the German tv-channels is called ARD