Hanssen Holding skifter navn til Hanssen Invest