desde 1655 y de un año después, Emperador del Sacro Imperio Romano Germánico desde 1658.