Koch Media kaufte tschechischen Spiele-Entwickler Warhorse Studios