The fall of Czechoslovakia in the game Armchair Commander