An auto backup has been performed this morning. So that's a good result, and has solved my problem. Thanks for your help.
But, an observation. Interestingly, my list of available backups to restore has shrunk considerably - 2 from 2012, 3 from 2013, 1 each from 2014 and 2015, the manual backup...