erkeherligen Ottos förmätning med prinsessan Maria , konungens af Sachsen brorsdotter , är bestämd att ega rum den 3 oktober.