Leopoldo I Emperador del Sacro Imperio Romano Germánico, 1640-1705. Biografías