Verslag van een commissiedebat, gehouden op 10 mei 2023, over Rijksvastgoed en Renovatie Binnenhof