Alternatively you can have a look at for example an Digibit R1 for Sat>IP streaming server.
Thanks for the hint to Sat>IP!
I just did some research on Digibit R1 and Digibit Twin. Both seem to work reliably with Tvheadend. Are there any notable differences between the models R1 and Twin besides the 4 vs. 2 tuners feature (e.g. channel switch performance, power consumption)? What do you think about the Xoro 8100? It seems a bit more powerful with Gigabit interface etc.
So if I understand the setup correctly I would additionally need a Raspberry Pi 3 B+ with LE and Tvheadend in my LAN. Then I could also make recordings to a separate NAS in my network. My smart card reader incl. smart card would be connected to the RPi to decrypt the encrypted channels. Is this correct? I had a comparable setup on my now broken Wetek Play.
One more question: is the new Raspberry Pi 3 B+ able to use the trans-code feature of Tvheadend or do I need more power?