Buenas,

El denon sí sería ese, échale un vistazo a la página que te paso, es de alemania pero cuestan mucho más baratos que en España.
También puedes mirar en amazon los reacondicionados y si encuentras el x1400, que es el modelo anterior, puede que te salga más barato.
También puedes mirar el que es un poco superior, el x2400.

https://www.elektrowelt24.eu/shop/AV...n:::1_104.html

los altavoces serían esos que pones el enlace. Solo que ahí están las columnas solo y si buscas, pues igual encuentras el pack 5.1, y es lo que te dice un compañero algo más arriba, hay gente que los critica, yo son los que tengo y vaya como suenan... igual si estás ya a un nivel muy audiófilo pues se quedan cortos, no lo sé porque mi oido de momento no da para tanto, pero relación calidad precio, magnat creo que está muy bien valorado.

Sea como sea, tu presupuesto se va a quedar corto.
El AVR va a rondar los 400€, y en altavoces mas subwoofer otros 400 va a estar complicado. Yo empezaría por el AVR más un trío frontal de altavoces y ya poco a poco vas metiendo traseros y subwoofer cuando te lo puedas ir permitiendo.