set_token klappt end_of_game nicht ... mäh