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