… saved by the good offices of tech support at HostPapa who allowed me to return to retrieve the database!
Lesson learned …
… as far as I know, I followed the instructions above to the letter, but still must have missed something.
My daughter’s chosen theme and all the plugins are there, but not the layout and data in its proper place.
I edited wp-config to correspond to the MySQL database set up on the new host.
All the uploads, going back 6 years, are on the new server. What I assumed, and didn’t check, was that the site was all thoroughly backed up, including the database. There is one dated July 2012.
I’m afraid I am a WordPress novice, but the move looked straightforward and expertise didn’t seem necessary – now it is 🙁
… thanks, I will try that tomorrow