Bundesblatt: BBl 2017 4053, Botschaft vom 24. Mai 2017 über die Immobilien des Eidgenössischen Finanzdepartements für das Jahr 2017 (Immobilienbotschaft EFD 2017)