They've just come to jumpstart the car. It is the battery which is dead. It's the original battery so is about 10 years old.
The mechanic asked me if I wanted them to take the car and replace the battery and check it's fully charged. After much consideration lasting about 0.1 seconds I said yes
They'll ring me later to let me know.