DCERead(universe,filename)
This function recovers the information written to file filename by
DCEWrite
. universe must be a DCE Universe of status ``Set up'',
created from exactly the same presentation as was used to create the
universe originally written to the file.
GAP 3.4.4