CTRL-Taste für Mehrfachmarkierungen unter Ubuntu 6.06