*CTLGFVER *$VER: toolmanager.catalog 4.03 (22.02.97) deutsch Erweiterung f r die Workbench Dock Men Dock schliessen Voreinstellungen... TM beenden ToolManager abbrechen? Ja|Nein