The Honor 7 is better as far performance is concerned.
That being said, i personally find them to be on the weak side.
What kind of games do you want to play ?
Do you have intentions to use emulators like PPSSPP ?
If you pay 100 euro more than what your budget allows, you can get either a OnePlus 3T or a ZTE Axon 7.
Let me tell you, they perform much, much better than either the 7 mini or the Honor 7.
(they can become quite hot though, especially the ZTE)
it's up to you really