Den Atemio 6100 kannst du nehmen der ist top. Langsam ist dieser Receiver auch nicht und das Mediaportal läuft da auch ohne Probleme. Als Image (Software) empfehle ich dir OpenHDF dafür.
Oh stimmt, sehe ich auch gerade. Das ist ja merkwürdig das es den gerade nicht zu kaufen gibt. Wenn du nicht lange warten willst bis es den wieder zu kaufen gibt, dann musst du wohl leider mehr Geld ausgeben oder du fragst mal auf der Internetseite von Atemio nach.