I norske kroner tilsvarer summen nesten 16,5 milliarder kroner. Det er