"largest user of electricity"

Compared to what? More than all heavy industry? All residential usage for a given sector? Seems like a tall ask requiring some modeling.