Tobelmühle is a restaurant.