DKK 40 billion