Offizieller, amtlicher deutscher Name der Schweiz. Hier: Verkauf an den Bund.