Since you mentioned "budget", I got curious about prices in Germany so I just visited Amazon.de and found:
AVR-X4500H - EUR 1.049,00 (1.040,00 for silver) vs SR7013 EUR 1.697,00
AVR-X4400H - EUR 922,39 vs SR7012 EUR 1.249,00
SR6013 - EUR 909,00
So the best deal appears to be the AVR-X4500, that is basically a SR7013 minus HDAM and the 7.1 analog inputs. HDAM or not, I heard no difference whatsoever, followed by some of my own measurements and found no reason to believe there would be any audible difference.
The SR7012, AVR-X4400H (99% same as the 2018 model less IMAX enhance...) were reviewed by Audiovision.de, complete with best tested power output into 8.6, and 4 ohm figures. Surely you can read German, without having to go through Google translate and risk loss in translation.
http://audiovision.de/marantz-sr7012-test/
http://audiovision.de/denon-avr-x4400h-test/
http://audiovision.de/yamaha-rx-a3080-test/
Note that all were tested for 7 channel driven, the D&M pair got the same results at
99W X 7 into 4 ohms vs the RX-A3080's 69W X 7 (for real world use the Yamaha should feel a little more powerful) if you can believe the adequacy of their test protocol.
The SR6012 was also tested, it yielded about 10% less output, that's pretty close.
So if I were in Germany, my best choice would be either AVR-X4500H or the SR7012 (only for the look) if I ignore the IMAX feature. As I mentioned before, I have owned, and still own both Denon and Marantz products. To me, with eyes closed, they are identical twins.