The electronic colloquium on computational complexity (ECCC) a digital library in use - Bern, Jochen (Fachbereich IV, Mathematik, Informatik, Univ., 1997)