Zum alten Brauhaus is a restaurant.