disappeared from the toolserver. It is crucial for the operation of the
WikiMiniAtlas. Is there any way it could be restored?
I restored it from a personal backup now. Sorry for the trouble, but it was
moronic of me to rely on storing in /mnt/aux0/archiv for important data in
the first plae :-)