Solution:
We describe a winning strategy for Anne. Her first move is
102007→22007,52007
We want to show that Anne can act in such a way that the numbers on the blackboard after each of her moves are of the form
2α1,…,2αk,5α1,…,5αk
This is the case after Anne's first move. If Berit for example replaces 2αj by 2β1 and 2β2, then Anne would replace 5αj by 5α1 and 5α2. If Berit for example erases 5αj or two 5αj's (which means that there is an αi=αj), then Anne would erase 2αj or two 2αj's. Thus for each move Berit makes, Anne can answer with a 'symmetric' move. Since the game is finite, Berit must be the first player failing to make a move. Thus Anne has a winning strategy.