Mining the sky: proceedings of the MPA/ESO/MPE workshop, held at Garching, Germany, July 31 - August 4, 2000 - Banday, Anthony J.; Bartelmann, Matthias (ESO astrophysics symposia, 2001)