Die Schlacht der Dinosaurier

From BoardGameGeek:

Players set up their dinosaur armies consisting of 15 dinosaurs each in their areas. Dinosaurs may be setup in any way as long as they are within the defined area, and there's only one dinosaur per space. On your turn, you *must* play three action cards from your hand one after the other (two if your general was eliminated). You may additionally use lava pieces. All used cards go to the discard pile. Reshuffle if draw pile is empty. Draw sufficient cards, to fill your hand to six cards again. The game ends, when the first dinosaur army is eliminated. The player with the most dinosaurs left is declared the winner. All players count their dinosaurs . The player with the most dinosaurs wins. If there is a draw, the game continues, until one player has more dinosaurs than any other