TX-Schlüsselsatz kurz 9-tlg.