with Ada.Text_IO;
       
      procedure Filesizetest is
         Dateiname    :       String := "bibel.txt";

         Datei        : Ada.Text_IO.File_Type;
         Dateigroesse : Integer := 0;


      begin

         Ada.Text_IO.Open(Datei, Ada.Text_IO.In_File, Dateiname);

         While Not Ada.Text_IO.End_Of_File(Datei) Loop
           Ada.Text_IO.Skip_Line(Datei);
           Dateigroesse := Dateigroesse + 1;
         End Loop;

         Ada.Text_IO.Put_Line(Integer'Image(Dateigroesse));

         Ada.Text_IO.Close(Datei);

      end Filesizetest;