Waldschlößchen is a German restaurant.