Thanks, both, for your replies.
I spoke to the guy first thing yesterday and asked basically the same question that I posted here. He explained that someone had put leak sealant in the system, which is fine for older boilers but not for one such as a Vaillant 937, and that that had corroded...