OK, thanks. It seems that the pump is working fine. Plenty of water comes through the outlet, into the bucket, or ordinarily I can hear it gurgling under my sink and bath.
There's no pause function, but I can turn it off.
I think the problem may be that the machine drains, but doesn't spin. So I've just set it to run on R, for rinse. It did this and then rotated to S, where it drained. Then it stopped there. Photo below of how it ended up. To spin, I had to rotate the dial back to M. To do this I had to turn the machine off and rotate the dial and turn the machine back on (it will start a new cycle if I don't switch the machine off).
I'm running a maintenance cycle now, I'll see if that does a spin at the end.
I found this in the manual:
"Spinning starts late or the machine does not spin ● The electronic unbalance detection device has cut in because the laundry is not evenly distributed in the drum. The laundry is redistributed by reverse rotation of the drum. This may happen several times before the unbalance disappears and normal spinning can resume. If, after 20 minutes, the laundry is still not evenly distributed in the drum, the machine will not spin. In this case, redistribute the load manually and reselect the spin programme."
Maybe I just have to stop assuming that the machine will spin automatically after a wash, and, if I find that it hasn't, rebalance the washing and rotate the dial if necessary.