They traded Bavaria to the Hapsburgs in Thande's Look to the West. Yes. But not in the real world. Again, the actual deal was bits of Bavaria for bits of the Austrian Netherlands. And it fell through. VIOLENTLY.