Komitee Terminologie und Sprachfragen Staff Deutsche Gesellschaft für Dokumentation