Bundesblatt: BBl 2020 4739, Botschaft vom 20. Mai 2020 über die Immobilien des EFD für das Jahr 2020 (Immobilienbotschaft EFD 2020)