Der Marantz SR5015 hätte das alles, er sieht nicht so technisch aus, aber wäre auch zukunftssicher. Aktuell hat Digitec den für unter 1000 im Angebot. BT, 7.2, 8K, HDMI 2.1 (seit Mai 2021 auch mit neuem HDMI 2.1 Chipset).
marantz SR5015 (7.2 Kanal)
Der Denon wäre ziemlich das Selbe, aber wuchtigere Erscheinung, sieht anders aus, kann aber auch 8K mit einem Input, auch zukunftssicher und noch etwas günstiger :). Von hinten sehen sie sich sehr ähnlich, aber der Marantz hat mehr Inputs.
Denon AVR-X2700H (7.2 Kanal, DAB+)
Beide sind relativ gut lieferbar (viel ist zur Zeit leider nicht gut lieferbar, wird wohl die Chipknappheit im 2021 Schuld daran sein).