Altstadtkeller is a restaurant.