The Netherlands regained independence from France in 1813. What names were Luxembourg known by in the Anglo-Dutch Treaty of 1814