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