Wow, thank you for all the responses, all very helpful and I hope I don't forget to answer some of them.
Denon X3800: I already looked at it but unfortunately it is way more expensive right now, especially with Dirac. But maybe I would wait until it gets cheaper.
AVR vs. Separates: I often...