The provision and use of online electronic information in the Federal Republic of Germany, with specific reference to academic libraries