konungen af Holland säsom ersättning för Luxemburg.