Király Étterem is a restaurant.