1. Fraunhofer-Institut für Informationsund Datenverarbeitung, Sebastian-Kneipp-Str. 12-14, 7500 Karlsruhe 1, West Germany; Fakultät für Informatik, Universität Karlsruhe, West Germany.
2. Fachbereich Informatik, Universität Hamburg, Schlüterstr. 70, 2000 Hamburg 13, West Germany; Fraunhofer-Institut für Informationsund Datenverarbeitung, Sebastian-Kneipp-Str. 12-14, 7500 Karlsruhe 1, West Germany.