Garmann fortsetter som toppsjef i Norsk Rikstoto