konung Wilhelm af Nederländerna , som då varprins