For something you haven't considered, check out the Anthem STR Integrated. I have owned one, and it is really good. Superb build quality, 200 watts into 8 ohms doubling into 4- significantly more power than the Atoll. I believe the Buchardts are 4 ohn speakers, not the easiest to drive, but the Anthem would handle them with no problem. Includes a great DAC, but no streamer for $5,000. You could easily pick up a good streamer-Wiim, Cambridge, Holo red, etc., for under $1,000 and the Buchardts and be set with a great system that offers lots of future flexibility. The Anthem includes ARC room correction technology which is really good and helps you get the best from tour system. Worth checking out.
Lots of good choices-good luck.