On the advice of our painter, I used Auto Glym products.
Quite expensive - about £40 for shampoo (the first time I have ever used shampoo on a boat...), wax, and polish, plus a special applicator for the wax and a chamois leather. I can list the precise products if you are interested.
Anyway, it took about an hour to do each side of the boat (seven passes!), and the results are fantastic. Keeping it smart requires ten mins per side with hot water and sponge, and then chamois. I think I will only need to do the full works once or twice a year.
I was advised very strongly not to use an electric polisher....