My first post here. For those who are interested, a new 4K restoration of Agnus Dei has just been included in a three-film blu-ray box set called Hungarian Masters, released by the British company Second Run: https://www.secondrundvd.com/release_hungarianBD.html