Zum König is a restaurant.