Is there an official whois server for .CH domains?

Yes, it is whois.nic.ch

 

.ch Domain Registration.ch Whois Search