$GGS (+0.31%) Does anyone have any information on Gigaset with regard to the relaunch on the stock market?