Robotechnik opens HK IPO at HK$436 with Temasek among 16 anchors