EFSF programme for Greece (expired 30 June 2015)