Unfortunately, the complete dumps contain lots if data I don't
actually need and I am afraid I am not willing to commit such an
impact to my small HDD. And even more, they are really unavailable
since 10.11, which is kind of very long already.
Right now I have time for this research and I want to use toolserver,
unless admins do not let me do it. I asked per 'ask first'.
M