What was the name of Charlemagne's sword?

Culture Trivia Question: What was the name of Charlemagne's sword?