Schillerschlössel is a restaurant.