It is back again now. The tool has been running for years without any problems but this year it dies from time to time caused by very strange errors.