Duchy of Brabant — state of the Holy Roman Empire