Freilichtbühne is a restaurant.