Kung Willem III , som genomdet