The Norwegian government spent $ 9 million to build the vault .