Xtrend ET 4000 Digital Satellite Receiver (Full HD, DVB-S2, HDMI, 2x USB 2.0) (Electronics)
The original question was: "Do I want a Linux-receiver, or a normal receiver". After much back and forth, it was the ET4000. With the standard software of the receiver is good, but compared to other products (Technisat) it can relatively little.