af Sachsen med infantinnan Marianne af Portugal.