formligt , att konungdi af Holland aftriidt storhertigdömet Luxemburg till förmån för prins Henrik.