Zukauf besiegelt: Merkur Group übernimmt Gaming Arts