Lo primero, bienvenido al foro ,

lo segundo, sobre tu duda entre un amplificador estéreo o un AVR, debes tener encuenta que la calidad de sonido es generalmente mayor en los primeros pero los AVR pueden obtener muy buen sonido estéreo también y además puedes disfrutar del homecinema con un conjunto de altavoces 5.1

desconozco la opciones de compra además de las nombradas por tí, supongo que conoces esta web de tu país, yo seguiría buscando pues parece que la importación te sale poco rentable

de los AVR que nombras, la marca Marantz tiene reputación en calidad de sonido además de ser un homecinema aceptable, pero en los niveles de entrada (Marantz 4600, Denon 1905....) habrá pocas diferencias entre ellos

por último la recomendación más habitual y no por ello superflua de "oir" los equipos y, sobre todo, los altavoces antes de su compra

saludos desde la otra "punta al Este"