El grupo de juego 'online' 888 facturó un 13% más en el primer semestre, hasta 225 millones