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

package SpezielleEigenschaftenVerteilung is

   procedure SpezielleEigenschaftenVerteilung
     (ErhöhenExtern : in Boolean;
      WertExtern : in Integer);

end SpezielleEigenschaftenVerteilung;
