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

         SubType Ele_Type is Integer;

         Package D_IO is new Ada.Direct_IO(Ele_Type);

         Datei        : D_IO.File_Type;
         Dateigroesse : D_IO.Count;

      begin

         D_IO.Open(Datei, D_IO.In_File, Dateiname);

         Dateigroesse := D_IO.Size (Datei);
         Ada.Text_IO.Put_Line (D_IO.Count'Image(Dateigroesse));

         D_IO.Close(Datei);

      end Filesizetest;