trondheim is part of norway