since I wrote the post above, the dishwasher stopped after about five minutes for a few more wash attempts,
but since then, it has worked every time.
??????
I've been running intensive programmes, and used the Finish dishwasher cleaner once.
It has also completed two real washes...