Yeah, MediathekView rocks, but that’s only for the German state-owned stuff! Teleboy has 77 channels you can record from using watchteleboy, woohoo 🙂