Marantz en Amazon.de sin duda. Si vas a poner Atmos, es decir, muchos canales y no vas a añadir una etapa de potencia yo iría al más alto de gama que me pudiera permitir (la sala es grande además).

Los altavoces ya es cosa aparte, hay muchísimas posibilidades. Estaría bien un presupuesto "tope" para todo (AVR, altavoces y sub).