Title: Über die Randlochkarte als Hilfsmittel in der Dokumentation