Question: Where is the developer of the Xiamoi Redmi 1S headquarted?
Sentence (from "Redmi 1S"): The Xiaomi Redmi 1S, code-named armani, is a smartphone released in May 2014, developed by the Chinese company Xiaomi Inc..
Relevant evidence: Yes