Pragmatic play ist in der iGaming-Branche längst ein bekannter Name.