## PSU (*LOCAL* -- Penn State University, USA) # Contact: Dave Barr (barr@math.psu.edu) # For local use only, contact the above address for information. newgroup:*:psu.*:mail rmgroup:*:psu.*:doit