Waarde vastgoed Rijksgebouwendienst stijgt naar 4,4 miljard