I understand that, in the interval that has passed, a local computer-repairer has found that the ISP-settings were wrong. How they came to go wrong, having originally been correct, I have not yet been told.
However, I am grateful to all that have helped with this topic.