Rotes Ross Gundel is a restaurant.