The marital status between Himiltrude and Charlemagne is a subject of much discussion. There are strong opinions both ways as to whether she was a "wife" or "concubine".
The institution of marriage is not the same then as it is now, so it is hard to draw hard conclusions.27