är fortfarande konungen af Holland.