Eleanor of Portugal, Holy Roman Empress — consort of Frederick III (1434-1467)