alan_m wrote:

That sounds like a car battery charger.

Thanks (and to the others who said the same).

I don't have any instructions: should I just attach the clamps and switch
on? Do I need to disconnect the car's own connecting leads first? And how
can I tell when the battery is sufficiently charged?

Many thanks.