[Termtools] TPDB - history (sources, old versions)

[René Thiemann]

Dear Johannes,

> The URL for tpdb-5.*
> given on http://www.termination-portal.org/wiki/TPDB#Data
> does no longer work.
> Can anyone make available this (these) files,
> and put it in some permanent location?

The link should now be fixed (and is similar to the one for tpdb-6.*)

Best regards,
René