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