The car is 37 months old, so the warranty is over.
I have since found out that it appears to be a software bug in the patch software that limits the charge to 80% while waiting for a new battery. I removed the negative terminal from the 12-volt battery and waited a few minutes and re-installed...