Charles VII, Holy Roman Emperor articles