Is there an official whois server for .EU domains?

Yes, it is whois.eu

 

.eu Domain Registration.eu Whois Search