Bergterrasse Marienhöhe is a restaurant.