The ECB and boosting the EFSF