Rådhuskroen is a restaurant.