EFSF bonds and the meaning of risk free