New eurozone bailout fund: €700bn or €940bn?