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