Is there an official whois server for .AT domains?

Yes, it iswhois.nic.at

 

.at Domain Registration.at Whois Search