Herderstube is a restaurant.