Kartengenerator sollte jetzt an den richtigen Stellen Hügel erzeugen,…

… Datentyp RassenMitNullwert und Rassen eingebaut, GlobaleRecords eingebaut und diverse Pre => eingebaut

README.md

@@ -7,4 +7,4 @@ Außerdem wird SDLAda (https://github.com/Lucretia/sdlada) für zukünftige Funk
 limited with "SDL/share/gpr/sdlada.gpr";
 aus der stream.gpr entfernen, da die SDL noch nicht genutzt wird.
 
-Aktuelle Version: 0.00.6140
+Aktuelle Version: 0.00.6150

src/BewegungSystem/BewegungssystemCursor.adb

@@ -1,6 +1,6 @@
 package body BewegungssystemCursor is
 
-   procedure BewegungCursorRichtung (Karte : in Boolean; Richtung : in Wide_Wide_Character; RasseExtern : in Integer) is -- Hier noch Bewegung für Stadt einbauen
+   procedure BewegungCursorRichtung (Karte : in Boolean; Richtung : in Wide_Wide_Character; RasseExtern : in GlobaleDatentypen.Rassen) is -- Hier noch Bewegung für Stadt einbauen
    begin
 
    YÄnderung := 0;
@@ -59,7 +59,7 @@ package body BewegungssystemCursor is
 
 
 
-   procedure GeheZuCursor (RasseExtern : in Integer) is
+   procedure GeheZuCursor (RasseExtern : in GlobaleDatentypen.Rassen) is
    begin
 
       Put (Item => To_Wide_Wide_String (Source => GlobaleVariablen.TexteEinlesen (19, 30)));
@@ -102,7 +102,7 @@ package body BewegungssystemCursor is
 
 
 
-   procedure BewegungCursorBerechnen (YÄnderung, XÄnderung : in GlobaleDatentypen.LoopRangeMinusEinsZuEins; RasseExtern : in Integer) is
+   procedure BewegungCursorBerechnen (YÄnderung, XÄnderung : in GlobaleDatentypen.LoopRangeMinusEinsZuEins; RasseExtern : in GlobaleDatentypen.Rassen) is
    begin
 
       KartenWert := SchleifenPruefungen.KartenUmgebung (YKoordinate    => GlobaleVariablen.CursorImSpiel (RasseExtern).AchsenPosition.YAchse,
@@ -124,7 +124,7 @@ package body BewegungssystemCursor is
 
 
 
-   procedure BewegungCursorBerechnenStadt (YÄnderung, XÄnderung : in GlobaleDatentypen.LoopRangeMinusEinsZuEins; RasseExtern : in Integer) is
+   procedure BewegungCursorBerechnenStadt (YÄnderung, XÄnderung : in GlobaleDatentypen.LoopRangeMinusEinsZuEins; RasseExtern : in GlobaleDatentypen.Rassen) is
    begin
 
       if GlobaleVariablen.CursorImSpiel (RasseExtern).AchsenPositionStadt.YAchse + YÄnderung < Karten.Stadtkarte'First (1) then

src/BewegungSystem/BewegungssystemCursor.ads

@@ -1,15 +1,16 @@
 with Ada.Wide_Wide_Text_IO, Ada.Strings.Wide_Wide_Unbounded;
 use Ada.Wide_Wide_Text_IO, Ada.Strings.Wide_Wide_Unbounded;
 
-with Anzeige, GlobaleDatentypen, GlobaleVariablen, KartenDatenbank, Karten, Eingabe, SchleifenPruefungen;
+with Anzeige, GlobaleDatentypen, GlobaleVariablen, KartenDatenbank, Karten, Eingabe, SchleifenPruefungen, GlobaleRecords;
 use GlobaleDatentypen;
 
 package BewegungssystemCursor is
 
-   procedure BewegungCursorRichtung (Karte : in Boolean; Richtung : in Wide_Wide_Character; RasseExtern : in Integer)
-     with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
-   procedure GeheZuCursor (RasseExtern : in Integer)
-     with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
+   procedure BewegungCursorRichtung (Karte : in Boolean; Richtung : in Wide_Wide_Character; RasseExtern : in GlobaleDatentypen.Rassen) with
+     Pre => Richtung = 'w' or Richtung = 'a' or Richtung = 's' or Richtung = 'd' or Richtung = '1' or Richtung = '2' or Richtung = '3' or Richtung = '4' or Richtung = '6' or Richtung = '7' or Richtung = '8' or Richtung = '9';
+     -- Post => BewegungCursorRichtung'Result is YÄnderung /= 0;
+
+   procedure GeheZuCursor (RasseExtern : in GlobaleDatentypen.Rassen);
 
 private
 
@@ -22,11 +23,12 @@ private
    Wert : Integer;
    Stellenanzahl : Integer;
 
-   KartenWert : GlobaleDatentypen.AchsenAusKartenfeld;
+   KartenWert : GlobaleRecords.AchsenAusKartenfeld;
 
-   procedure BewegungCursorBerechnen (YÄnderung, XÄnderung : in GlobaleDatentypen.LoopRangeMinusEinsZuEins; RasseExtern : in Integer)
-     with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
-   procedure BewegungCursorBerechnenStadt (YÄnderung, XÄnderung : in GlobaleDatentypen.LoopRangeMinusEinsZuEins; RasseExtern : in Integer)
-     with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
+   procedure BewegungCursorBerechnen (YÄnderung, XÄnderung : in GlobaleDatentypen.LoopRangeMinusEinsZuEins; RasseExtern : in GlobaleDatentypen.Rassen) with
+     Pre => (YÄnderung /= 0 or XÄnderung /= 0);
+
+   procedure BewegungCursorBerechnenStadt (YÄnderung, XÄnderung : in GlobaleDatentypen.LoopRangeMinusEinsZuEins; RasseExtern : in GlobaleDatentypen.Rassen) with
+     Pre => (YÄnderung /= 0 or XÄnderung /= 0);
 
 end BewegungssystemCursor;

src/BewegungSystem/BewegungssystemEinheiten.adb

@@ -1,6 +1,6 @@
 package body BewegungssystemEinheiten is
 
-   procedure BewegungEinheitenRichtung (RasseExtern, EinheitNummer : in Integer) is
+   procedure BewegungEinheitenRichtung (RasseExtern : in GlobaleDatentypen.Rassen; EinheitNummer : in Integer) is
    begin
 
       Karte.AnzeigeKarte (RasseExtern => RasseExtern);
@@ -70,7 +70,7 @@ package body BewegungssystemEinheiten is
 
 
 
-   procedure BewegungEinheitenBerechnung (RasseExtern, EinheitNummer : in Integer; YÄnderung, XÄnderung : in GlobaleDatentypen.LoopRangeMinusEinsZuEins) is
+   procedure BewegungEinheitenBerechnung (RasseExtern : in GlobaleDatentypen.Rassen; EinheitNummer : in Integer; YÄnderung, XÄnderung : in GlobaleDatentypen.LoopRangeMinusEinsZuEins) is
    begin
 
       Gewonnen := True;
@@ -135,7 +135,7 @@ package body BewegungssystemEinheiten is
          null;
       end if;      
 
-      case GegnerEinheitWert.Rasse is
+      case GegnerEinheitWert.Platznummer is
          when SchleifenPruefungen.RückgabeWert | 0 =>
             null;
 

src/BewegungSystem/BewegungssystemEinheiten.ads

@@ -1,13 +1,13 @@
 with Ada.Wide_Wide_Text_IO, Ada.Wide_Wide_Characters.Handling;
 use Ada.Wide_Wide_Text_IO, Ada.Wide_Wide_Characters.Handling;
 
-with SchleifenPruefungen, GlobaleDatentypen, GlobaleVariablen, KartenDatenbank, Karten, Karte, EinheitenDatenbank, Kampfsystem, Diplomatie, Auswahl, Sichtbarkeit;
+with SchleifenPruefungen, GlobaleDatentypen, GlobaleVariablen, KartenDatenbank, Karten, Karte, EinheitenDatenbank, Kampfsystem, Diplomatie, Auswahl, Sichtbarkeit, GlobaleRecords;
 use GlobaleDatentypen;
 
 package BewegungssystemEinheiten is
 
-   procedure BewegungEinheitenRichtung (RasseExtern, EinheitNummer : in Integer)
-     with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
+   procedure BewegungEinheitenRichtung (RasseExtern : GlobaleDatentypen.Rassen; EinheitNummer : in Integer) with
+     Pre => EinheitNummer > 0;
 
 private
 
@@ -24,11 +24,11 @@ private
 
    Stadtnummer : Integer;
 
-   KartenWert : GlobaleDatentypen.AchsenAusKartenfeld;
-   GegnerEinheitWert : GlobaleDatentypen.RasseUndPlatznummerRecord;
-   GegnerStadtWert : GlobaleDatentypen.RasseUndPlatznummerRecord;
+   KartenWert : GlobaleRecords.AchsenAusKartenfeld;
+   GegnerEinheitWert : GlobaleRecords.RasseUndPlatznummerRecord;
+   GegnerStadtWert : GlobaleRecords.RasseUndPlatznummerRecord;
 
-   procedure BewegungEinheitenBerechnung (RasseExtern, EinheitNummer : in Integer; YÄnderung, XÄnderung : in GlobaleDatentypen.LoopRangeMinusEinsZuEins)
-     with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
+   procedure BewegungEinheitenBerechnung (RasseExtern : in GlobaleDatentypen.Rassen; EinheitNummer : in Integer; YÄnderung, XÄnderung : in GlobaleDatentypen.LoopRangeMinusEinsZuEins) with
+     Pre => (YÄnderung /= 0 or XÄnderung /= 0) and EinheitNummer > 0;
 
 end BewegungssystemEinheiten;

src/BewegungSystem/NaechstesObjekt.adb

@@ -1,6 +1,6 @@
 package body NaechstesObjekt is
 
-   procedure NächsteEinheitMitBewegungspunkten (RasseExtern : in Integer) is -- Nochmal über die loops schauen, möglicherweise wird eine Einheit ausgelassen
+   procedure NächsteEinheitMitBewegungspunkten (RasseExtern : in GlobaleDatentypen.Rassen) is -- Nochmal über die loops schauen, möglicherweise wird eine Einheit ausgelassen
    begin
 
       case GlobaleVariablen.EinheitenGebaut (RasseExtern, 1).ID is
@@ -52,7 +52,7 @@ package body NaechstesObjekt is
 
 
 
-   procedure NächsteEinheit (RasseExtern : in Integer) is
+   procedure NächsteEinheit (RasseExtern : in GlobaleDatentypen.Rassen) is
    begin
 
       if GlobaleVariablen.EinheitenGebaut (RasseExtern, 1).ID = 0 then
@@ -74,7 +74,7 @@ package body NaechstesObjekt is
 
 
 
-   procedure NächsteEinheitOhneBewegungspunkte (RasseExtern : in Integer) is
+   procedure NächsteEinheitOhneBewegungspunkte (RasseExtern : in GlobaleDatentypen.Rassen) is
    begin
 
       case GlobaleVariablen.EinheitenGebaut (RasseExtern, 1).ID is
@@ -125,7 +125,7 @@ package body NaechstesObjekt is
 
 
 
-   procedure NächsteStadt (RasseExtern : in Integer) is
+   procedure NächsteStadt (RasseExtern : in GlobaleDatentypen.Rassen) is
    begin
 
       if GlobaleVariablen.StadtGebaut (RasseExtern, 1).ID = 0 then

src/BewegungSystem/NaechstesObjekt.ads

@@ -3,14 +3,10 @@ use GlobaleDatentypen;
 
 package NaechstesObjekt is
 
-   procedure NächsteEinheitMitBewegungspunkten (RasseExtern : in Integer)
-     with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
-   procedure NächsteEinheit (RasseExtern : in Integer)
-     with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
-   procedure NächsteEinheitOhneBewegungspunkte (RasseExtern : in Integer)
-     with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
-   procedure NächsteStadt (RasseExtern : in Integer)
-     with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
+   procedure NächsteEinheitMitBewegungspunkten (RasseExtern : in GlobaleDatentypen.Rassen);
+   procedure NächsteEinheit (RasseExtern : in GlobaleDatentypen.Rassen);
+   procedure NächsteEinheitOhneBewegungspunkte (RasseExtern : in GlobaleDatentypen.Rassen);
+   procedure NächsteStadt (RasseExtern : in GlobaleDatentypen.Rassen);
 
 private
 

src/Cheat/Cheat.adb

@@ -1,6 +1,6 @@
 package body Cheat is
 
-   procedure Menü (RasseExtern : in Integer) is
+   procedure Menü (RasseExtern : in GlobaleDatentypen.Rassen) is
    begin
 
       AktuelleEinheit := 1;
@@ -38,7 +38,7 @@ package body Cheat is
    end Menü;
 
 
-   procedure BeliebigeNächsteEinheit (RasseExtern : in Integer) is -- Funktioniert nicht 100%, nochmal drüber schauen wenn Zeit und Lust, da Cheatmenü nicht so wichtig
+   procedure BeliebigeNächsteEinheit (RasseExtern : in GlobaleDatentypen.Rassen) is -- Funktioniert nicht 100%, nochmal drüber schauen wenn Zeit und Lust, da Cheatmenü nicht so wichtig
    begin      
 
       if GlobaleVariablen.EinheitenGebaut (AktuelleRasse, AktuelleEinheit).ID = 0 then
@@ -127,7 +127,7 @@ package body Cheat is
 
 
 
-   procedure Sichtbarkeit (RasseExtern : in Integer) is
+   procedure Sichtbarkeit (RasseExtern : in GlobaleDatentypen.Rassen) is
    begin
 
       EbeneSchleife:
@@ -159,7 +159,7 @@ package body Cheat is
    procedure EinheitFestlegen is
    begin
 
-      RasseZahl := Eingabe.GanzeZahl (Zahlengröße => 2);
+      RasseZahl := GlobaleDatentypen.Rassen (Eingabe.GanzeZahl (Zahlengröße => 2));
       Stadt := Eingabe.GanzeZahl (Zahlengröße => 2);
       ID := Eingabe.GanzeZahl (Zahlengröße => 2);
 

src/Cheat/Cheat.ads

@@ -6,25 +6,22 @@ use GlobaleDatentypen;
 
 package Cheat is
 
-   procedure Menü (RasseExtern : in Integer)
-     with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
+   procedure Menü (RasseExtern : in GlobaleDatentypen.Rassen);
 
 private
 
    Taste : Wide_Wide_Character;
 
    AktuelleEinheit : Integer;
-   AktuelleRasse : Integer;
+   AktuelleRasse : GlobaleDatentypen.Rassen;
 
-   RasseZahl : Integer;
+   RasseZahl : GlobaleDatentypen.Rassen;
    Stadt : Integer;
    ID : Integer;
 
-   procedure BeliebigeNächsteEinheit (RasseExtern : in Integer)
-     with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
+   procedure BeliebigeNächsteEinheit (RasseExtern : in GlobaleDatentypen.Rassen);
    procedure Informationen;
-   procedure Sichtbarkeit (RasseExtern : in Integer)
-     with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
+   procedure Sichtbarkeit (RasseExtern : in GlobaleDatentypen.Rassen);
    procedure GrundFestlegen;
    procedure EinheitFestlegen;
    procedure Geld;

src/Datenbanken/EinheitenDatenbank.adb

@@ -9,7 +9,7 @@ package body EinheitenDatenbank is
 
 
 
-   procedure LebenspunkteBewegungspunkteAufMaximumSetzen (RasseExtern, EinheitNummer : in Integer) is
+   procedure LebenspunkteBewegungspunkteAufMaximumSetzen (RasseExtern : in GlobaleDatentypen.Rassen; EinheitNummer : in Integer) is
    begin
 
       GlobaleVariablen.EinheitenGebaut (RasseExtern, EinheitNummer).AktuelleLebenspunkte := EinheitenListe (RasseExtern, GlobaleVariablen.EinheitenGebaut (RasseExtern, EinheitNummer).ID).MaximaleLebenspunkte;
@@ -64,7 +64,7 @@ package body EinheitenDatenbank is
 
 
 
-   procedure EinheitErzeugen (RasseExtern, StadtNummer, ID : in Integer) is -- Kann Einheiten nur in Städten erzeugen und funktioniert nicht richtig
+   procedure EinheitErzeugen (RasseExtern : in GlobaleDatentypen.Rassen; StadtNummer, ID : in Integer) is -- Kann Einheiten nur in Städten erzeugen und funktioniert nicht richtig
    begin
 
       Position := (GlobaleVariablen.StadtGebaut (RasseExtern, StadtNummer).AchsenPosition.EAchse, GlobaleVariablen.StadtGebaut (RasseExtern, StadtNummer).AchsenPosition.YAchse,
@@ -107,10 +107,10 @@ package body EinheitenDatenbank is
 
 
 
-   procedure EinheitEntfernen (RasseExtern, EinheitNummer : in Integer) is
+   procedure EinheitEntfernen (RasseExtern : in GlobaleDatentypen.Rassen; EinheitNummer : in Integer) is
    begin
 
-      GlobaleVariablen.EinheitenGebaut (RasseExtern, EinheitNummer) := (0, 0, 0, (0, 1, 1), 0, 0.00, 0, 0, 0, 0);      
+      GlobaleVariablen.EinheitenGebaut (RasseExtern, EinheitNummer) := (0, 0,    0, (0, 1, 1),    0, 0.00, 0, 0,    0, 0);      
       EinheitGebautSortieren (RasseExtern => RasseExtern);
 
       if GlobaleVariablen.EinheitenGebaut (RasseExtern, 1).ID = 0 and GlobaleVariablen.StadtGebaut (RasseExtern, 1).ID = 0 then
@@ -124,14 +124,14 @@ package body EinheitenDatenbank is
 
 
 
-   procedure EinheitGebautSortieren (RasseExtern : in Integer) is
+   procedure EinheitGebautSortieren (RasseExtern : in GlobaleDatentypen.Rassen) is
    begin
 
       TauschSchleife:
       for Tauschen in GlobaleVariablen.EinheitenGebautArray'Range (2) loop
 
          Sortieren (Tauschen) := GlobaleVariablen.EinheitenGebaut (RasseExtern, Tauschen);
-         GlobaleVariablen.EinheitenGebaut (RasseExtern, Tauschen) := (0, 0, 0, (0, 1, 1), 0, 0.00, 0, 0, 0, 0); 
+         GlobaleVariablen.EinheitenGebaut (RasseExtern, Tauschen) := (0, 0,    0, (0, 1, 1),    0, 0.00, 0, 0,    0, 0); 
 
       end loop TauschSchleife;
 
@@ -142,7 +142,7 @@ package body EinheitenDatenbank is
 
             if Sortieren (Auswahl).ID /= 0 then
                GlobaleVariablen.EinheitenGebaut (RasseExtern, Einsortieren) := Sortieren (Auswahl);
-               Sortieren (Auswahl) := (0, 0, 0, (0, 1, 1), 0, 0.00, 0, 0, 0, 0);
+               Sortieren (Auswahl) := (0, 0,    0, (0, 1, 1),    0, 0.00, 0, 0,    0, 0);
                exit SortierenInnenSchleife;
 
             elsif Auswahl = Sortieren'Last then

src/Datenbanken/EinheitenDatenbank.ads

@@ -1,8 +1,8 @@
 with Ada.Wide_Wide_Text_IO, Ada.Strings.Wide_Wide_Unbounded;
 use Ada.Wide_Wide_Text_IO, Ada.Strings.Wide_Wide_Unbounded;
 
-with GlobaleVariablen, Auswahl, Karten, SchleifenPruefungen, GlobaleDatentypen;
-use GlobaleDatentypen;
+with GlobaleVariablen, Auswahl, Karten, SchleifenPruefungen, GlobaleDatentypen, GlobaleRecords;
+use GlobaleDatentypen, GlobaleRecords;
 
 package EinheitenDatenbank is
 
@@ -30,7 +30,7 @@ package EinheitenDatenbank is
 
    end record;
 
-   type EinheitenListeArry is array (GlobaleDatentypen.RassenImSpielArray'Range, 1 .. GlobaleDatentypen.EinheitenID'Last) of Einheiten;
+   type EinheitenListeArry is array (GlobaleDatentypen.Rassen'Range, 1 .. GlobaleDatentypen.EinheitenID'Last) of Einheiten;
    EinheitenListe : constant EinheitenListeArry := (others => (('S', 1, 10, 10, 0,    1, 3, 1.00,    30, 3, 1, 1, 1), -- Siedler
 
                                                                ('L', 2, 25, 20, 0,    1, 5, 3.00,    30, 3, 1, 3, 1), -- Steinbeilkämpfer
@@ -47,14 +47,14 @@ package EinheitenDatenbank is
                                                                others => ('@', 0, 0, 0, 0,    1, 0, 0.00,    1, 1, 0, 0, 1)));
 
    procedure Beschreibung (ID : in GlobaleDatentypen.EinheitenID);
-   procedure LebenspunkteBewegungspunkteAufMaximumSetzen (RasseExtern, EinheitNummer : in Integer)
+   procedure LebenspunkteBewegungspunkteAufMaximumSetzen (RasseExtern : in GlobaleDatentypen.Rassen; EinheitNummer : in Integer)
      with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
    procedure HeilungBewegungspunkteFürNeueRundeSetzen;
-   procedure EinheitErzeugen (RasseExtern, StadtNummer, ID : in Integer)
+   procedure EinheitErzeugen (RasseExtern : in GlobaleDatentypen.Rassen; StadtNummer, ID : in Integer)
      with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
-   procedure EinheitEntfernen (RasseExtern, EinheitNummer : in Integer)
+   procedure EinheitEntfernen (RasseExtern : in GlobaleDatentypen.Rassen; EinheitNummer : in Integer)
      with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
-   procedure EinheitGebautSortieren (RasseExtern : in Integer)
+   procedure EinheitGebautSortieren (RasseExtern : in GlobaleDatentypen.Rassen)
      with Pre => RasseExtern in GlobaleDatentypen.RassenImSpielArray'Range;
    procedure Beschäftigung (Arbeit : in Integer);
 

src/Datenbanken/ForschungsDatenbank.adb

@@ -15,7 +15,7 @@ package body ForschungsDatenbank is
 
 
 
-   procedure Forschung (RasseExtern : in Integer) is -- Hier noch mehr Optionen einbauen, z. B. Informationen über bereits erforschte Technologien
+   procedure Forschung (RasseExtern : in GlobaleDatentypen.Rassen) is -- Hier noch mehr Optionen einbauen, z. B. Informationen über bereits erforschte Technologien
    begin
 
       ForschungSchleife:
@@ -43,7 +43,7 @@ package body ForschungsDatenbank is
 
 
 
-   procedure ForschungZeit (RasseExtern : in Integer) is
+   procedure ForschungZeit (RasseExtern : in GlobaleDatentypen.Rassen) is
    begin
 
       if GlobaleVariablen.Wichtiges (RasseExtern).AktuellesForschungsprojekt = 0 then
@@ -65,7 +65,7 @@ package body ForschungsDatenbank is
 
 
 
-   function AuswahlForschung (RasseExtern : in Integer) return Integer is
+   function AuswahlForschung (RasseExtern : in GlobaleDatentypen.Rassen) return Integer is
    begin
 
       Anzeige.TextForschung := (others => (To_Unbounded_Wide_Wide_String (Source => "|"), 0));
@@ -80,7 +80,7 @@ package body ForschungsDatenbank is
          if To_Wide_Wide_String (Source => GlobaleVariablen.TexteEinlesen (16, F)) = "|" then
             exit ForschungSchleife;
 
-         elsif F > ForschungListe'Last then
+         elsif F > Integer (ForschungListe'Last) then
             exit ForschungSchleife;
 
          elsif GlobaleVariablen.Wichtiges (RasseExtern).Erforscht (F) /= 0 then