Yeah that's it. Karl the Great is often reffered to as Charlemagne (from Karolus Magnus, which means Carl or Charles the great). I think the priest who destroyed it was angry because noone would lisen to him. And yeah Charlemagne gave the Saxons the choice of being washed with holy water or by their own blood, and sometimes they even babtized the saxons when they were unconcious from a blow in the head of blunt object. So I suppose many died, yes.