“Gemäß der Vereinbarung von 2011 sowie den Kauf- und Pachtverträgen von 2012 erwarb die Stiftung Gebäude und Grundstücke (Übergang am 1. Juli 2012), während der Staat die Wehrmauern und einige Gebäude behielt, die die Stiftung pachtet; eine Zusatzvereinbarung von 2022 bietet ihr die Wehrmauern und die übrigen staatlichen Gebäude für DKK 67 Millionen zum Kauf an.”