Willem de Vierde is a restaurant.