II.
Znění relevantních zákonných ustanovení, včetně napadeného ustanovení
6. Klíčová ustanovení zákona o majetku České republiky, ve znění zákona č. 51/2016 Sb., přičemž napadená část ustanovení je vyznačena tučně, znějí:
"§ 13
(1) Stát nabývá majetek též zákonem, na základě zákona, děděním, rozhodnutím příslušného orgánu a na základě mezinárodní smlouvy, kterou je stát vázán, popřípadě na základě jiných skutečností stanovených zákonem.
(2) [...]
(3) Není-li den nabytí majetku státem podle odstavce 1 přímo stanoven, je jím den, kdy o nabytí majetku státem bylo příslušným orgánem pravomocně rozhodnuto anebo kdy bylo toto nabytí příslušným orgánem pravomocně potvrzeno, popřípadě den, kdy rozhodná skutečnost platně nastala. [...]
§ 41
Pokud stát nabyl majetek způsoby uvedenými v ustanovení § 13, dluhy předchozího vlastníka na stát nepřecházejí a zástavní práva k majetku, který stát takto nabyl, okamžikem jeho přechodu na stát zanikají; to neplatí v případě dědění nebo odúmrti a v případech, stanoví-li tak zvláštní právní předpis, rozhodnutí příslušného orgánu nebo mezinárodní smlouva, kterou je stát vázán."
7. Pro úplnost lze ještě citovat ustanovení trestního zákoníku, v souladu s nímž soud (tj. příslušný orgán) v posuzovaném případě rozhodl o přechodu vlastnického práva k zastaveným nemovitostem na stát. Relevantní části tohoto ustanovení v době podání návrhu zněly:
"§ 66
(1) Soud může vzhledem k okolnostem spáchaného trestného činu a poměrům pachatele uložit trest propadnutí majetku, odsuzuje-li pachatele k výjimečnému trestu anebo odsuzuje-li jej za zvlášť závažný zločin, jímž pachatel pro sebe nebo pro jiného získal nebo se snažil získat majetkový prospěch.
(2) [...]
(3) Propadnutí majetku postihuje celý majetek odsouzeného nebo tu jeho část, kterou soud určí; propadnutí se však nevztahuje na prostředky nebo věci, jichž je nezbytně třeba k uspokojení životních potřeb odsouzeného nebo osob, o jejichž výživu nebo výchovu je odsouzený podle zákona povinen pečovat.
(4) [...]
(5) Propadlý majetek připadá státu."