Has the problem with the German mirrors been solved now, or do we still have to use the global mirror (CDN77)?