The amount in the guarantee fund is irrelevant: it will be refinanced by govt' or ECB at first sign of trouble, with newly printed money if need be. Pierre