However, the marriage proved unsuccessful and with the consent of Emperor Leopold I in August 1680 they became formally separated.
Однако брак оказался неудачным и с согласия императора Леопольда I Габсбурга в августе 1680 года они были формально разведены.