Spiegelwaldbaude is a restaurant.