[^] add thema to red mine