Some documents may still refer to the Defence Infrastructure Agency, the State Property and Development Agency, the Government Real Estate Directorate, or the Government Buildings Agency. In each case, this should read the Central Government Real Estate Agency. All of the tasks and powers of these agencies were transferred to the Central Government Real Estate Agency at the time of the merger on 1 July 2014.