We added a lot new channels (in HD!) to the TV server at tv.ram.rwth-aachen.de. We have now 81 channels available. There is now an HD version of nearly every channel available! You can find a guide how to set it up here. Come see us during the office hours if you need some help.
We would like to thank kullen for their huge help!