The currency doesn't get devaluated in this case because the supply of Euros doesn't increase--the ECB is only replacing the money supply lost when the banks collapse.