Bürgerkrug is a restaurant.