Formal Siegel modular forms for arithmetic subgroups - Jan Hendrik Bruinier; Martin Raum (2024)