ليوبولد الأول، الإمبراطورية الرومانية المقدسة