Marie of Brabant, Holy Roman Empress