At about noon a friendly, competent guy from the power company showed up, and quickly fixed our power problem. One of the connections had gone bad somehow where the 2 power lines arrive at the house. He climbed up a ladder, changed the connectors, and we were back in business.
I had figured, all along, that something like that was the problem.
I bet some people would have tried fixing it themselves.
Perhaps I could have restored my own electric service,
but connecting power lines on a ladder makes me nervous.