Texelhof is a restaurant.