Novomatic übernimmt die Vikings Casino-Gruppe.