Wacholderhäuschen is a restaurant.