When the EFSF was created, it was assumed that the only problem was to ensure financing for the government deficits of the four prospective problem countries (Portugal, Ireland, Greece, and Spain). From this perspective, the headline figure of €750 billion allocated to the EFSF looked adequate.