Duchy of Westphalia — principality of the Holy Roman Empire