Rijksvastgoedbedrijf; cijfers over 2018