pragma SPARK_Mode (On);
pragma Warnings (Off, "*array aggregate*");

package ForschungAllgemeinTerminal is

   function ForschungAuswahlTerminal
     return EinheitenDatentypen.ForschungIDMitNullWert;

end ForschungAllgemeinTerminal;
