Re: [Toolserver-l] Switching of tools.wikimedia.de