AfD-Chefin Frauke Petry.