The Dutch term "aartshertogdom" matches the English term "archduchy"