Bundesblatt: BBl 2019 4303, Botschaft vom 29. Mai 2019 zu den Immobilien des Eidgenössischen Finanzdepartements für das Jahr 2019 (Immobilienbotschaft EFD 2019)