There I was, watching a recorded programme when the recording abruptly stopped. I went Home > Recordings and there was nothing there - all saved recordings had disappeared.
I re-booted and all the recordings re-appeared.
Presumably it was a transient problem with the file system which was corrected during the re-boot.