1:
2:
3:
4:
5:
6:
7:
8:
9:
10:
11:
12:
13:
14:
15:
16:
17:
18:
19:
20:
21:
22:
23:
24:
25:
26:
27:
28:

  private void readFile()
            {
                string line = "";
                    if ((char)this.stream.Peek()=='T')
                    {
                        this.stream.ReadLine();
                    }

                    uint linecounter=0;
                    while((line = this.stream.ReadLine())!=null)
                    {
                        linecounter++;

//das ist ein Versuch das Problem zu umgehen, aber es hilft nichts
                        if (linecounter %100000 == 0)
                        {
                            this.stream.DiscardBufferedData();
                            Console.WriteLine(linecounter);
                        }
                        if (!(line.StartsWith("\t")) && (Char.IsDigit(line[0])))
                        {

                            this.data.numberofcalls++;
                        }
                    }
                    this.stream.Dispose();
                    this.stream.Close();
              }