A bibcode query service provided by the ADS