Zum Parkschlösschen is a restaurant.