som man vet , gift med prinsessan Antonia , syster till konungen af Portugal.