Bankenrettung hat 885 Millionen Euro gekostet