## KRST (*LOCAL* -- University of Oslo, Norway) # Contact: jani@ifi.uio.no # For local use only, contact the above address for information. newgroup:*:krst.*:mail rmgroup:*:krst.*:doit