@misc{ZIBJahresbericht 2000, title = {Jahresbericht 2000}, institution = {ZIB}, address = {Takustr. 7, 14195 Berlin}, language = {deu}, year = {2001} }