Bundesblatt: BBl 2010 4209, Botschaft vom 4. Juni 2010 über die Immobilien des EFD für das Jahr 2010 (Immobilienbotschaft EFD 2010)