Brunnenstuben is a German restaurant.