Meanwhile, my expensive Varta battery had died (just outside the warranty period - typical). I purchased a cheaper 60Ah one this time, that seems to do the job just as well.