public static int[] FileToIntArray(String dat) {
    int[] A = null;
    FileInputStream fis = null;
    try {
      fis = new FileInputStream(dat);
    } catch (Exception e) {
      System.out.println("'dat' konnte nicht geoeffnet werden");

    }
    try {
      InputStreamReader isr = new InputStreamReader(fis);
      BufferedReader br = new BufferedReader(isr);

      String einZeile;
      einZeile = br.readLine();
      int anz = new Integer(einZeile);

      A = new int[anz];
      for (int i = 0; i < anz; i++) {
        einZeile = br.readLine();

        if (einZeile == null) {
          break; // Ende der Datei erreicht
        }
        // System.out.println(einZeile);
        int j = new Integer(einZeile);
        A[i] = j;
      }
    } catch (Exception e) {
      System.out.println("Einlesen nicht erfolgreich");
    }

    return A;
  }