RedIT-Aktien werden von der Börse dekotiert