Vigelandshallen kan bli 5 millioner kroner rimeligere