tyskar dödades vid samma tillfälle.