Electorate of Mainz — territory in the Holy Roman Empire