Terrazza delle Stelle is a restaurant.