How many german soldier were blown up by a partisan bomb?