Wie gesagt, runder Geburtstag.
Da soll nicht das billigste gekauft werden ...
Bin übrigens schon fündig geworden.
Jetzt noch eine USB-TV Karte und noch irgendeine Lösung, wie ich das Kabel von UPC anzapfen kann, und dann passts.
Im Budget bin ich auch noch (knapp € 950 für alles zusammen).