The repair consisted of multiple parts, which are reported on Wordpress:

I have included the last article (originally published on Wordpress) here on this site for completeness.