Delete index on TREX

Just on stupid question:

Because of an installation problem I have an inconsistency between TREX 6 and EP 6 SP2. I have an index on the TREX, but cannot delete it within the index admin of the portal.

How can I delete these index directly on the TREX server?

Regards

Timm