Norsk Rikstoto slås ikke sammen med Norsk Tipping: Fortsetter som eget selskap