private string GetFile(string url)
        {
 
            // Den HTMLCode der angeforderten Seite herunterladen und 
            // zurückgeben
 
             System.Net.WebClient Client = new WebClient();
 
            // Soll ein Proxy verwendet werden, wird das nun getan.
            if (this.UseProxy == true)
            {
                WebProxy proxy = new WebProxy("http://" + this.proxy + "/", _
                  true);
                proxy.Credentials = new NetworkCredential(this.user, this.pass);
                Client.Proxy = proxy;
            }
 
            System.IO.Stream strm = Client.OpenRead(url);
 
            System.IO.StreamReader reader = new System.IO.StreamReader(strm);
 
            result = reader.ReadToEnd();
 
            reader.Close();
 
            return result;
 
 
        }