Hexenbannerstuben is a restaurant.