Eszterházy Étterem is a restaurant.