Title: Zur maschinellen Dokumentation mathematischer Saetze