Gebrauchter AV Receiver mit HDMI als Ersatz für Pioneer VSX-AX5i

Hallo liebes Hifi-Forum!

Ich erbitte eure Hilfe beim Kauf eines gebrauchten AV Receivers für mein Wohnzimmer.
Momentan bin ich dabei dieses technisch etwas aufzurüsten. Zu diesem Zweck wurden schon ein neue Fernseher SAMSUNG UE 60JU6850, neue Lautsprecher und Subwoofer angeschafft.
Lautsprecher und Subwoofer sind aus dem DIY. Momentan nur 2.2, aber in nächster Zeit soll definitiv auf mindestens 5.2 erweitert werden.

Das Zimmer ist 24m² groß und der Abstand zum Fernseher beträgt 4m.
Ich hab mich für einen Receiver und nicht für einen Stereo-Verstärker entschieden, da ich vom Einmesssystem profitieren will, da ich hier ein paar üble Raummoden erwarte.
Den oben genannten Pioneer VSX-AX5i habe ich zwar hier rumstehen, aber nicht mehr in betrieb. Der kommt aber ohne HDMI daher und die Fernbedienung hat schon vor einiger Zeit den Geist aufgegeben.
HDMI ist für meinen Raspberry Pi zwingend erforderlich.

Wichtig sind mir außerdem folgende Eigenschaften:
- 4-5 HDMI Eingänge
- DLNA
- Ob X.1 oder X.2 wäre egal
- Verkäufer sollte wie ich aus Österreich kommen oder bereit sein hierher zu versenden
- 500-600€
- ... mir fällt gerade auf, dass ich doch relativ anspruchslos bin.


Außerdem stelle ich mir ein paar allgemeine Fragen über Receiver. Ich hoffe ihr könnt mir hier helfen und sie beantworten.

1. Wenn ich z.b. den Sat-Receiver über den AV Receiver anschließe, aber nur mit den Lautsprechern des Fernseher hören will, kann das Signal dann "durchgeschliffen" werden? Also ein Bypass des AV Receivers?

2. DLNA. Ist es damit möglich Musik vom Laptop über das Netzwerk wiederzugeben? Kann z.b. auch der onboard Sound vom Laptop abgespielt werden, wenn ich mir am Laptop beispielsweise ein Video auf Youtube ansehe?


Bis jetzt habe ich folgende Receiver in die Auswahl genommen:

Onkyo TXNR 809:
https://www.willhabe...35/?folderId=1347855

Denon 3312:
https://www.willhabe...-guenstig-136295635/

Marantz NR7007:
https://www.willhabe...er-sr7007-137164271/

Eigentlich hatte ich noch einen Pioneer LX SC85 in der Auswahl. Dieser ist aber leider schon verkauft.


Puh ist doch umfangreicher geworden als gedacht.
Hoffe ihr könnt mir hier ein bisschen weiterhelfen und mit mir einen neuen Receiver auswählen.
Wie würdet ihr euch entscheiden?


Danke und beste Grüße
Alex