Ukrainische Armee beschießt Donezk mit Antipersonenminen; Russische Armee räumt diese danach