och uppgår nu till omkring 25 milliarder.