Dear tool maintainers!
The domain tools.wikimedia.de, aliasing toolserver.org, has been deprecated for a very long time. It is legacy from the past and we kept it for your convenience so you wouldn't have to modify any tool.
With the toolserver redirects to Tool Labs things are getting complicated enough without this old stuff. If you have very old tools and you are still using tools.wikimedia.de, please get rid of that domain! After the toolserver's shutdown, this redirect will on longer work.
Thanks for your understanding! Cheers, Silke