4m Leinwand wird aufjedenfall knapp bzgl Beamerabstand. Außerdem natürlich mit vermutlich ca. 2000 Euro als Akustikvariante auch recht kostenintensiv für das angestrebte Budget.

Grobe Schätzung
- 1000 Euro AVR
- 500 Euro Quellgeräte
- 2000 Euro Leinwand
- 1000 Euro Subwoofer

Bleibt noch 5500 für Beamer, Bestuhlung, Akustikmaßnahmen und Lautsprecher.
Willst du nativ 4K? Oder ist dir Schwarzwert wichtiger?
Gebraucht wäre der X5500 interessant. Die gibt es teilweise für 2500 Euro. Leider sind die Lampen mit 400 Euro recht teuer.
Im nativen 4K Bereich bleibt ja eigentlich nur ein gebrauchter Sony VW320es. Mit Glück im unteren 3000 Euro Bereich.

Gute Preisleistung ist auch der Epson TW9300, dessen UVP erst gesenkt wurde und für 2700 neu zu haben ist.

Die Bildbreite erfordert natürlich einiges vom Beamer bzgl. Helligkeit insbesondre bei HDR. Weiß nicht wie gut das klappt.

Leider haben alle genannten Beamer ihre Kinderkrankheiten und teils keine volle HDMI 2.0 Schnittstelle und damit Probleme mit 60hz 4K HDR.

Es wird aufjedenfall knapp mit 10.000.

Lautsprecherauswahl ist so stark von persönlichen Vorlieben abhängig, dass du definitiv Probehören gehen musst und man da keine wirklichen Empfehlungen geben kann.