DEFINITION MODULE bgWuerfeln; IMPORT str : bgStrukturen; PROCEDURE CopyWurf (VAR dest : str.Wurf; source : str.Wurf); PROCEDURE Wuerfeln (VAR wurf : str.Wurf); END bgWuerfeln.