Was mich noch interessieren wuerde: Ist mit MENUED dasselbe Problem irgendwo schon mal aufgetreten? Wie auch immer, wir stellen auch dieses neu kompiliert bereit. MfG B.E. Bernhard Eversberg Universitaetsbibliothek, Postf. 3329, D-38023 Braunschweig, Germany Tel. +49 531 391-5026 , -5011 , FAX -5836 e-mail B.Eversberg at tu-bs.de