Definition: Mainz is a German name. It means "King's Seat" in Old High German, referring to the seat of the Holy Roman Emperor Charles V in Munich, Germany. The term originates from the Latin word "Munich," which was given to Bavaria after the defeat of Charlemagne at the Battle of Aix-la-Chapelle in 738 AD by Frederick Barbarossa of France and his followers.