Podrías barajar también el denon x3500, que es el que está a la altura del martanz 6013 y seguramente encontrarás en tiendas alemanas por menos de 800€.

Yo tengo el x3400 en un salón de casi 40 metros y va sobradísimo.